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

• Generic epsilon-removal  + (0743)
• Generic epsilon-removal  + (0743)
• XML Proposal and its Application in Vaucanson  + (0744)
• XML Proposal and its Application in Vaucanson  + (0744)
• Efficient algorithmic methods for Nash equilibria computation  + (0745)
• Efficient algorithmic methods for Nash equilibria computation  + (0745)
• Software engineering in Olena Core  + (0746)
• Software engineering in Olena Core  + (0746)
• Tools for Attribute Grammars manipulation in Transformers  + (0747)
• Tools for Attribute Grammars manipulation in Transformers  + (0747)
• ConceptC++ study and possible integration in SCOOP  + (0748)
• Etude de ConceptC++ et possible intégration dans SCOOP  + (0748)
• Canvas in Morphological Algorithms  + (0753)
• Canvas in Morphological Algorithms  + (0753)
• Boosting Vaucanson's genericity  + (0755)
• Booster la généricité de Vaucanson  + (0755)
• SVM-MLLR for multi-speaker verification systems score fusion  + (0756)
• SVM-MLLR et fusion pour la vérification du locuteur  + (0756)
• SVM Kernel Combining System for Speaker Verification  + (0757)
• SVM Kernel Combining System for Speaker Verification  + (0757)
• Transfinite Chomp  + (0758)
• Transfinite Chomp  + (0758)
• Synchronized Tranducers  + (0759)
• Transducteurs synchronisés  + (0759)
• Homolib  + (0760)
• Homolib  + (0760)

• An overview of Scoop, a static object-oriented paradigm  + (0761)
• Une introduction à Scoop, un paradigme Cxx orienté objet  + (0761)

• 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)