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
- Property-Based Genericity: A Dynamic Approach + (Climb)
- La généricité par propriétés + (Climb)
- Fast Level Line Transform + (Olena)
- Transformation des courbes de niveau rapide + (Olena)
- Software engineering in Olena Core + (sotware engineering)
- Logotypes detection and other characteristic invariants + (C++)
- Détection de logotypes et autres invariants caractéristiques + (C++)
- Fast Image Registration + (Image processing)
- Recalage d'images rapide + (Image processing)
- eXtended Reactive Modules + (model-checking)
- eXtended Reactive Modules + (model-checking)
- A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers + (Parallel satisfiability)
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving + (Parallel satisfiability)
- On the Usefulness of Clause Strengthening in Parallel SAT Solving + (Parallel satisfiability)
- Transformers: a C++ program transformation framework + (C++ language)
- Transformers: a C++ program transformation framework + (C++ language)
- A comparative study of image invariants for text / non-text classification + (Image invariants)
- Etude comparative d'invariants de forme pour la classification texte / non-texte + (Image invariants)
- Amélioration de la composition des transducteurs dans Vaucanson + (Vaucanson)
- Improving Vaucanson's transducers composition algorithm + (Vaucanson)
- Centaur : Une infrastructure générique simplifiant les transformations de C++ + (Transformers)
- Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages + (C++)
- Centaur: A generic framework simplifying C++ transformation + (Transformers)
- Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages + (C++)
- Hiérarchie par propriétés du module Algebra de Vaucanson + (Vaucanson)
- Property based class hierarchy of Vaucanson's Algebra module + (Vaucanson)
- Yet Another Vaucanson GUI + (Vaucanson)
- Interface graphique de Vaucanson + (Vaucanson)
- Complementing Büchi Automata + (complementation)
- La complémentation d'automates de Büchi + (complementation)
- Implementing rational semiring + (Vaucanson)
- Implémentation du corps des (nombres) rationnels + (Vaucanson)
- Efficient Dynamic Type Checking of Heterogeneous Sequences + (Rational languages)
- Type-Checking of Heterogeneous Sequences in Common Lisp + (Rational languages)
- Reconstruction d'image + (Segmentation)
- Image reconstruction + (Segmentation)
- XML Proposal and its Application in Vaucanson + (Vaucanson)
- XML Proposal and its Application in Vaucanson + (Vaucanson)