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
- Amélioration de la composition des transducteurs dans Vaucanson + (Automaton)
- Improving Vaucanson's transducers composition algorithm + (Automaton)
- 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)
- Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map + (fold)
- Reconstruction d'image + (Segmentation)
- Image reconstruction + (Segmentation)
- Approaches in Typecase Optimization + (typechecking)
- Programmatic Manipulation of Common Lisp Type Specifiers + (Graph algorithms)
- Parser d'expressions rationnelles + (parser)
- Automata Reduction + (parser)
- Rational Expression Parser + (parser)
- Reduction d'automates + (parser)
- Towards more efficient parallel SAT solving + (parallelisation)
- Complementing Büchi Automata + (complementation)
- La complémentation d'automates de Büchi + (complementation)
- revCPP A reversible C++ preprocessor + (revCPP)
- revCPP A reversible C++ preprocessor + (revCPP)
- An overview of Vaucanson + (Vaucanson)
- Analysis of the Vaucanson project + (Vaucanson)
- Distance Transform + (MILENA)
- Distance Transform + (MILENA)
- revCPP A reversible C++ preprocessor + (revCPP)
- An overview of Vaucanson + (Vaucanson)
- Centaur : Une infrastructure générique simplifiant les transformations de C++ + (Transformers)
- Découpage de programme C++ avec Transformers + (Transformers)
- Logotypes detection and other characteristic invariants + (C++)
- Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers + (Transformers)
- Implementation of transducers in Vaucanson + (Vaucanson)
- Détection de logotypes et autres invariants caractéristiques + (C++)