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
- 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)
- Automata Reduction + (Bison)
- Parser d'expressions rationnelles + (Bison)
- Rational Expression Parser + (Bison)
- Reduction d'automates + (Bison)
- Approaches in Typecase Optimization + (typechecking)
- Programmatic Manipulation of Common Lisp Type Specifiers + (Graph algorithms)
- 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++)
- Implementation of transducers in Vaucanson + (Vaucanson)
- revCPP A reversible C++ preprocessor + (revCPP)
- Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages + (C++)
- Centaur: A generic framework simplifying C++ transformation + (Transformers)