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
- Image taxonomy in Milena + (0812)
- Taxonomie des images de Milena + (0812)
- Implementing a C++ extension with Transformers: class namespace + (0813)
- Implémentation d'une extension du C++ dans Transformers: class namespace + (0813)
- Fast Level Line Transform + (0814)
- Transformation des courbes de niveau rapide + (0814)
- SCOOL: Concept-Oriented Programming + (0816)
- SCOOL: Programmation générique et concepts + (0816)
- A Promela front-end for Spot + (0817)
- Front-end Promela dans Spot + (0817)
- FSMXML and its application in Vaucanson + (0818)
- FSMXML et son utilisation dans Vaucanson + (0818)
- Generalized Linear Discriminant Sequence for Speaker Verification + (0819)
- Système de discriminants linéaires pour la vérification du locuteur + (0819)
- Boosting Vaucanson's Iterator + (0820)
- Booster les itérateurs de Vaucanson + (0820)
- Topological Watershed + (0821)
- Ligne de partage des eaux topologique + (0821)
- Yet Another Vaucanson GUI + (0822)
- Interface graphique de Vaucanson + (0822)
- Centaur: A generic framework simplifying C++ transformation + (0823)
- Centaur : Une infrastructure générique simplifiant les transformations de C++ + (0823)
- Improving Vaucanson's transducers composition algorithm + (0824)
- Amélioration de la composition des transducteurs dans Vaucanson + (0824)
- C++ Program Slicing with Transformers + (0825)
- Découpage de programme C++ avec Transformers + (0825)
- Alternate Fictitious Play study and implementation + (0826)
- Étude et implémentation du Fictitious Play alterné + (0826)
- Properties in Milena + (0829)
- Les propriétés dans Milena + (0829)
- Automata Reduction + (0830)
- Reduction d'automates + (0830)
- Image reconstruction + (0831)
- Reconstruction d'image + (0831)
- Tarjan Union-Find algorithm and connected operators + (0832)
- L'algorithme Union-Find de Tarjan et les filtres connectès + (0832)
- Synchronous relations in Vaucanson + (0833)
- Les relations synchrones dans Vaucanson + (0833)
- Automata in Natural Language Processing + (0834)
- Les automates en traitement automatique des langues naturelles + (0834)
- Morphology on color images + (0835)
- Morphologie sur images couleur + (0835)
- Transformers: toward the end of the pipeline + (0836)
- Transformers : vers la fin du tunnel + (0836)
- Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games + (0837)
- Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle + (0837)
- Adding Contracts to C++ with Transformers + (0901)
- Ajout de la programmation par contrats au C++ avec Transformers + (0901)
- Benchmarking Vaucanson and large C++ libraries + (0902)
- Analyse de performances dans Vaucanson + (0902)
- Complementing Büchi Automata + (0903)
- La complémentation d'automates de Büchi + (0903)