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

• Speaker recognition evaluation: selective approaches and fusion  + (Speaker Recognition Evaluation)
• Speaker recognition evaluation: selective approaches and fusion  + (Speaker Recognition Evaluation)
• I-Vector Multilayer Perceptron in Speaker Recognition System  + (Speaker recognition)
• Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur  + (Speaker recognition)
• Improving degeneralization in Spot  + (model checking)
• Front-end Promela dans Spot  + (Spot)
• A Promela front-end for Spot  + (Spot)
• Amélioration de la dégénéralisation dans Spot  + (model checking)
• Generic Emptiness Check for Fun and Profit  + (Spot)
• Practical “Paritizing” of Emerson–Lei Automata  + (Spot)
• Go2Pins: A Framework for the LTL Verification of Go Programs  + (Spot)
• Effective Reductions of Mealy Machines  + (Spot)
• Centaur : Une infrastructure générique simplifiant les transformations de C++  + (Transformers)
• Centaur: A generic framework simplifying C++ transformation  + (Transformers)
• eXtended Reactive Modules  + (model-checking)
• Implementing a C++ extension with Transformers: class namespace  + (Transformers)
• eXtended Reactive Modules  + (model-checking)
• Implémentation d'une extension du C++ dans Transformers: class namespace  + (Transformers)
• SVM Kernel Combining System for Speaker Verification  + (Gaussian Mixture Models)
• SVM Kernel Combining System for Speaker Verification  + (Gaussian Mixture Models)
• Réduction par simulation directe pour les TGBA  + (model-checking)
• Réduction par simulation pour les TGBA  + (automata)
• Réduction basées sur la bisimulation appliquées aux TGBA  + (automata)
• Bisimulation-based Reductions on TGBA  + (automata)
• Simulation-based Reductions for TGBA  + (automata)
• Direct-Simulation Reduction for TGBA  + (model-checking)

• Désambiguïsation de la superposition de lignes.  + (Text extraction)
• Scribo: Disambiguation of lines superimposement  + (Text extraction)

• Extraction de texte avec des ondelettes  + (Wavelets)
• Text extraction method based on wavelets  + (Wavelets)
• Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages  + (C++)
• Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages  + (C++)
• Amélioration de la composition des transducteurs dans Vaucanson  + (Vaucanson)
• Improving Vaucanson's transducers composition algorithm  + (Vaucanson)
• revCPP A reversible C++ preprocessor  + (revCPP)
• revCPP A reversible C++ preprocessor  + (revCPP)
• Semantics driven disambiguation: A comparison of different approaches  + (Transformers)
• Semantics driven disambiguation: A comparison of different approaches  + (Transformers)
• Semantics driven disambiguation  + (Transformers)
• revCPP A reversible C++ preprocessor  + (revCPP)
• Centaur : Une infrastructure générique simplifiant les transformations de C++  + (Transformers)
• Tools for Attribute Grammars manipulation in Transformers  + (Transformers)
• Découpage de programme C++ avec Transformers  + (Transformers)
• Tools for Attribute Grammars manipulation in Transformers  + (Transformers)
• Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers  + (Transformers)
• revCPP A reversible C++ preprocessor  + (revCPP)
• Formal Definition of the Disambiguation with Attribute Grammars  + (disambiguation)
• Centaur: A generic framework simplifying C++ transformation  + (Transformers)
• C++ Program Slicing with Transformers  + (Transformers)
• Semantics driven disambiguation  + (Transformers)
• C++ template disambiguation with Transformers Attribute Grammars  + (Transformers)
• Implementing a C++ extension with Transformers: class namespace  + (Transformers)