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

• Implementation of transducers in Vaucanson  + (16:06:32, 9 January 2018)
• Implementation of transducers in Vaucanson  + (16:06:33, 9 January 2018)
• Images taxonomy and modeling  + (16:06:34, 9 January 2018)
• Images taxonomy and modeling  + (16:06:34, 9 January 2018)
• Implementing a C++ extension with Transformers: class namespace  + (16:06:35, 9 January 2018)
• Implémentation d'une extension du C++ dans Transformers: class namespace  + (16:06:36, 9 January 2018)
• Adding Contracts to C++ with Transformers  + (16:06:36, 9 January 2018)
• Ajout de la programmation par contrats au C++ avec Transformers  + (16:06:37, 9 January 2018)
• Study and Analysis of C++ Extension Conception with Transformers  + (16:06:38, 9 January 2018)
• Étude et analyse de l'écriture d'extensions du C++ grâce à Transformers  + (16:06:38, 9 January 2018)
• Strength-based decomposition of Büchi automaton  + (16:06:39, 9 January 2018)
• Décomposition d'un automate de Büchi Généralisé multi-force  + (16:06:40, 9 January 2018)
• Improving degeneralization in Spot  + (16:06:41, 9 January 2018)
• Amélioration de la dégénéralisation dans Spot  + (16:06:42, 9 January 2018)
• Partial order reduction methods for Spot  + (16:06:42, 9 January 2018)
• Méthodes de réduction par ordre partiel dans Spot  + (16:06:43, 9 January 2018)
• Adaptive partial order reduction methods  + (16:06:44, 9 January 2018)
• Méthodes de réduction par ordre partiel adaptatives.  + (16:06:44, 9 January 2018)
• Vcsn Meets Linguistics  + (16:06:45, 9 January 2018)
• Vcsn et la linguistique  + (16:06:46, 9 January 2018)
• K shortest-paths in Vcsn  + (16:06:46, 9 January 2018)
• K plus courts chemins dans Vcsn  + (16:06:47, 9 January 2018)
• K shortest-paths in Vcsn  + (16:06:48, 9 January 2018)
• K plus courts chemins dans Vcsn  + (16:06:49, 9 January 2018)
• Formal Definition of the Disambiguation with Attribute Grammars  + (16:06:49, 9 January 2018)
• Formal Definition of the Disambiguation with Attribute Grammars  + (16:06:50, 9 January 2018)

• Automatic Attribute Propagation for Modular Attribute Grammars  + (16:06:51, 9 January 2018)
• Automatic Attribute Propagation for Modular Attribute Grammars  + (16:06:51, 9 January 2018)

• Finding Short Synchronizing Words  + (16:06:52, 9 January 2018)
• Recherche de petits mots synchronisants  + (16:06:53, 9 January 2018)
• Efficient removal of spontaneous transitions in Vcsn  + (16:06:54, 9 January 2018)
• Suppression efficace de transitions spontanées dans Vcsn  + (16:06:55, 9 January 2018)
• Random automata and path generation in Vcsn  + (16:06:56, 9 January 2018)
• Génération aléatoire d'automates et de chemins dans Vcsn  + (16:06:57, 9 January 2018)
• Développement d'une interface graphique pour Vaucanson  + (16:06:57, 9 January 2018)
• Développement d'une interface graphique pour Vaucanson  + (16:06:58, 9 January 2018)
• An interpreter for Vaucanson  + (16:06:59, 9 January 2018)
• An interpreter for Vaucanson  + (16:06:59, 9 January 2018)
• Dynamization of C++ static libraries  + (16:07:00, 9 January 2018)
• Speaker recognition evaluation: selective approaches and fusion  + (16:07:01, 9 January 2018)
• Dynamization of C++ static libraries  + (16:07:01, 9 January 2018)
• Speaker recognition evaluation: selective approaches and fusion  + (16:07:02, 9 January 2018)
• SVM-MLLR for multi-speaker verification systems score fusion  + (16:07:03, 9 January 2018)
• SVM-MLLR et fusion pour la vérification du locuteur  + (16:07:03, 9 January 2018)
• Tools for Attribute Grammars manipulation in Transformers  + (16:07:04, 9 January 2018)
• Tools for Attribute Grammars manipulation in Transformers  + (16:07:06, 9 January 2018)
• C++ Program Slicing with Transformers  + (16:07:07, 9 January 2018)
• Transformers: toward the end of the pipeline  + (16:07:08, 9 January 2018)
• Découpage de programme C++ avec Transformers  + (16:07:08, 9 January 2018)
• Transformers : vers la fin du tunnel  + (16:07:09, 9 January 2018)
• Centaur: A generic framework simplifying C++ transformation  + (16:07:10, 9 January 2018)
• Integration of TChecker in Spot  + (16:07:11, 9 January 2018)