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
- An interpreter for Vaucanson +
- An interpreter for Vaucanson +
- An overview of Vaucanson +
- An overview of Vaucanson +
- Analysis of the Vaucanson project +
- Analysis of the Vaucanson project +
- Attribute grammars for C++ disambiguation +
- Attribute grammars for C++ disambiguation +
- Boltzmann Machine in speaker verification +
- C++ Transformations panorama +
- C++ Transformations panorama +
- C++ container library with the SCOOP paradigm +
- C++ container library with the SCOOP paradigm +
- C++ type-checking: A study of existing solutions +
- C++ type-checking: A study of existing solutions +
- Canvas in Olena +
- Canvas in Olena +
- Computing the regular language recognized by a finite automaton +
- Computing the regular language recognized by a finite automaton +
- Conception of a static oriented language: an overview of Scool +
- Conception of a static oriented language: an overview of Scool +
- Cover automata for finite languages +
- Cover automata for finite languages +
- Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions +
- Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions +
- Développement d'une interface graphique pour Vaucanson +
- Développement d'une interface graphique pour Vaucanson +
- Factor analysis based channel compensation in speaker verification +
- Factor analysis based channel compensation in speaker verification +
- From an expression to the original automaton +
- From an expression to the original automaton +
- Generic epsilon-removal +
- Generic epsilon-removal +
- Image taxonomy in Olena +
- Image taxonomy in Olena +
- Images taxonomy and modeling +
- Images taxonomy and modeling +
- Implementation of transducers in Vaucanson +
- Implementation of transducers in Vaucanson +
- Improving Vaucanson's design +
- LRDE's Speaker Verification Framework +
- LRDE's Speaker Verification Framework +
- Learning models for model-checking +
- Learning models for model-checking +
- Parsing with Transformers +
- Parsing with Transformers +
- Progress in C++ source preprocessing +
- Progress in C++ source preprocessing +
- Regression benchmarking +
- Regression benchmarking +