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
- Optimizations in the Tiger Compiler + (Felix Abecassis)
- Minimisation d'automates représentant des obligations + (Felix Abecassis)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Real Time Face Expression Recognition + (Ferdinand Mom)
- ... Insert a title in French here ... + (Ferdinand Mom)
- A note on nice-levelable MRFs for SAR image denoising with contrast preservation + (Jérôme Darbon)
- The use of levelable regularization functions for MRF restoration of SAR images + (Jérôme Darbon)
- People/Florent D'Halluin + (Florent D'Halluin)
- Yet Another Vaucanson GUI + (Florent D'Halluin)
- Benchmarking Vaucanson and large C++ libraries + (Florent D'Halluin)
- Analyse de performances dans Vaucanson + (Florent D'Halluin)
- Interface graphique de Vaucanson + (Florent D'Halluin)
- Adapting Vaucanson algorithms to a simpler interface + (Florent D'Halluin)
- Adaptation d'algorithmes de Vaucanson à une interface plus simple + (Florent D'Halluin)
- People/Florent Terrones + (Florent Terrones)
- From an expression to the original automaton + (Florent Terrones)
- From an expression to the original automaton + (Florent Terrones)
- A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers + (Sylvie Boldo)
- Max-Tree Computation on GPUs + (Nicolas Blin)
- Past People + (Yann Jacquelet)
- People/Florian Lesaint + (Florian Lesaint)
- An XML format proposal for the description of weighted automata, transducers, and regular expressions + (Akim Demaille)
- Les relations synchrones dans Vaucanson + (Florian Lesaint)
- FSMXML et son utilisation dans Vaucanson + (Florian Lesaint)
- FSMXML and its application in Vaucanson + (Florian Lesaint)
- XML Proposal and its Application in Vaucanson + (Florian Lesaint)
- Synchronous relations in Vaucanson + (Florian Lesaint)
- XML Proposal and its Application in Vaucanson + (Florian Lesaint)
- Papers about Vaucanson + (Akim Demaille)
- C++ Program Slicing with Transformers + (Florian Quèze)
- Découpage de programme C++ avec Transformers + (Florian Quèze)
- Past People + (Florian Quèze)
- People/Florian Quèze + (Florian Quèze)
- Tools for Attribute Grammars manipulation in Transformers + (Florian Quèze)
- Tools for Attribute Grammars manipulation in Transformers + (Florian Quèze)
- Transformers : vers la fin du tunnel + (Florian Quèze)
- Transformers: toward the end of the pipeline + (Florian Quèze)
- Practical “Paritizing” of Emerson–Lei Automata + (Florian Renkin)
- Practical Applications of the Alternating Cycle Decomposition + (Antonio Casares)
- Effective Reductions of Mealy Machines + (Florian Renkin)
- From Spot 2.0 to Spot 2.10: What's New? + (Alexandre Duret-Lutz)
- Past People + (Yann Jacquelet)
- People/Francis Maes + (Francis Maes)
- Metagene, a C++ meta-program generation tool + (Francis Maes)
- Program templates: expression templates applied to program evaluation + (Francis Maes)
- People/Franck Coppola + (Franck Coppola)
- Document type recognition using evidence theory + (Thierry Géraud)
- Is There a Best Büchi Automaton for Explicit Model Checking? + (František Blahoudek)
- Seminator: A Tool for Semi-Determinization of Omega-Automata + (František Blahoudek)
- The Hanoi Omega-Automata Format + (Tomáš Babiak)
- On Refinement of Büchi Automata for Explicit Model Checking + (František Blahoudek)
- Generic Emptiness Check for Fun and Profit + (Christel Baier)
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization + (František Blahoudek)
- Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images + (Régis Clouard)
- People/François Ripault + (François Ripault)
- La programmation orientée contexte appliquée au traitement d'images + (François Ripault)
- Optimisation en Common Lisp et son application à Climb + (François Ripault)
- Context-Oriented Image Processing + (Didier Verna)