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

• 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)
• Centaur : Une infrastructure générique simplifiant les transformations de C++  + (16:07:11, 9 January 2018)
• Intégration de TChecker dans Spot  + (16:07:12, 9 January 2018)
• L'algorithme de Partitionnement de Markov pour le Système Supervisé de Vérification du Locuteur  + (16:07:13, 9 January 2018)
• Markov Clustering Algorithm for Unsupervised Speaker Recognition System  + (16:07:13, 9 January 2018)
• Speaker Diarization based on Independent Component Analysis  + (16:07:14, 9 January 2018)
• La Segmentation du Locuteur basée sur l'Analyse en Composantes Indépendantes  + (16:07:15, 9 January 2018)
• La Segmentation du Locuteur Basée sur les Coefficients Cepstraux sur l'échelle de Mel  + (16:07:16, 9 January 2018)
• Optimisation en Common Lisp et son application à Climb  + (16:07:18, 9 January 2018)
• Optimization in Common Lisp, and its application to Climb  + (16:07:18, 9 January 2018)
• Context-oriented programming applied to image processing  + (16:07:19, 9 January 2018)