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

• Automatic Attribute Propagation for Modular Attribute Grammars  + (0801)
• Automatic Attribute Propagation for Modular Attribute Grammars  + (0801)
• Semantics driven disambiguation: A comparison of different approaches  + (0802)
• Semantics driven disambiguation: A comparison of different approaches  + (0802)
• Stage de traitement d'image au LRDE  + (0803)
• Stage de traitement d'image au LRDE  + (0803)
• Stage de traitement d'image au LRDE  + (0804)
• Stage de traitement d'image au LRDE  + (0804)
• Distance Transform  + (0806)
• Distance Transform  + (0806)
• Translation of an extended LTL into TBGA in Spot  + (0807)
• Traduction d'une LTL étendue en TGBA dans Spot  + (0807)
• Fast Image Registration  + (0808)
• Recalage d'images rapide  + (0808)
• Rational Expression Parser  + (0810)
• Parser d'expressions rationnelles  + (0810)
• C++ template disambiguation with Transformers Attribute Grammars  + (0811)
• Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers  + (0811)
• 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)