Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- eXtended Reactive Modules + (model-checking)
- Generic epsilon-removal + (Vaucanson)
- Generic epsilon-removal + (Vaucanson)
- An overview of Vaucanson + (Vaucanson)
- Analysis of the Vaucanson project + (Vaucanson)
- An overview of Vaucanson + (Vaucanson)
- Efficient Dynamic Type Checking of Heterogeneous Sequences + (Rational languages)
- Type-Checking of Heterogeneous Sequences in Common Lisp + (Rational languages)
- Analysis of the Vaucanson project + (Vaucanson)
- Finite Automata Theory Based Optimization of Conditional Variable Binding + (finite automata)
- Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map + (fold)
- Seminar/2013-10-09 + (language)
- Seminar/2009-02-11 + (concurrency)
- Seminar/2014-03-12 + (language)
- Performance Comparison of Several Folding Strategies + (fold)
- Property-Based Genericity: A Dynamic Approach + (Climb)
- La généricité par propriétés + (Climb)
- Vers Vaucanson 2.0 + (Vaucanson)
- Mécanique de Vaucanson 2.0 + (Vaucanson)
- Boosting Vaucanson + (Vaucanson)
- Boosting Vaucanson's Iterator + (Vaucanson)
- Vaucanson 2.0 Internals + (Vaucanson)
- Booster les itérateurs de Vaucanson + (Vaucanson)
- Towards Vaucanson 2.0 + (Vaucanson)
- Boosting Vaucanson + (Vaucanson)
- A Modern C++ Point of View of Programming in Image Processing + (Image)
- Boosting Vaucanson's genericity + (Vaucanson)
- Booster la généricité de Vaucanson + (Vaucanson)
- LRDE's Speaker Verification Framework + (gaussian)
- LRDE's Speaker Verification Framework + (gaussian)
- Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set + (graph)
- Booster la généricité de Vaucanson + (graph)
- Boosting Vaucanson + (graph)
- Boosting Vaucanson + (graph)
- Boosting Vaucanson's genericity + (graph)
- Finding Maximal Common Joins in a DAG + (graph)
- Mécanique de Vaucanson 2.0 + (graph)
- Towards Vaucanson 2.0 + (graph)
- Vaucanson 2.0 Internals + (graph)
- Vers Vaucanson 2.0 + (graph)
- LRDE's Speaker Verification Framework + (gaussian)
- LRDE's Speaker Verification Framework + (gaussian)
- I-Vector Multilayer Perceptron in Speaker Recognition System + (Speaker recognition)
- Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur + (Speaker recognition)
- Seminar/2014-06-11 + (image)
- Seminar/2008-01-30 + (image)
- Software engineering in Olena Core + (sotware engineering)
- Adaptation of the watershed cuts algorithm to cellular complexes + (Watershed cuts)
- Adaptation de l'algorithme de watershed cuts aux complexes cellulaires + (Watershed cuts)
- Software engineering in Olena Core + (sotware engineering)
- Canvas in Olena + (canvas)
- Canvas in Olena + (canvas)
- Properties in Milena + (Image processing library)
- Les propriétés dans Milena + (Image processing library)
- Fast Level Line Transform + (Olena)
- Transformation des courbes de niveau rapide + (Olena)
- Boosting Vaucanson's Iterator + (Vaucanson)
- Booster les itérateurs de Vaucanson + (Vaucanson)
- Finite Automata Theory Based Optimization of Conditional Variable Binding + (finite automata)
- A Portable, Simple, Embeddable Type System + (infinite alphabets)