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
- Traitement curatif pour Vaucanson: un renforcement du concept d'automate + (Vaucanson)
- Implementing rational semiring + (Vaucanson)
- Implémentation du corps des (nombres) rationnels + (Vaucanson)
- Property-Based Genericity: A Dynamic Approach + (Climb)
- CLIMB: Une approche dynamique du traitement générique d'images + (CLIMB)
- CLIMB: A Dynamic Approach To Generic Image Processing + (CLIMB)
- La généricité par propriétés + (Climb)
- Approche fonctionnelle de la généricité du traitement d'image + (CLIMB)
- Functionnal approach of image processing genericity + (CLIMB)
- Distance Transform + (MILENA)
- Distance Transform + (MILENA)
- Fast Level Line Transform + (Olena)
- Transformation des courbes de niveau rapide + (Olena)
- Fast Level Line Transform + (Milena)
- Transformation des courbes de niveau rapide + (Milena)
- Fast Level Line Transform + (Olena)
- Transformation des courbes de niveau rapide + (Olena)
- Remedial treatment for Vaucanson: an enhanced automaton concept + (Vaucanson)
- Traitement curatif pour Vaucanson: un renforcement du concept d'automate + (Vaucanson)
- Morphologie sur images couleur + (watershed image segmentation)
- Morphology on color images + (watershed image segmentation)
- I-Vector Multilayer Perceptron in Speaker Recognition System + (Speaker recognition)
- Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur + (Speaker recognition)
- Efficient algorithmic methods for Nash equilibria computation + (Nash equilibria TOP algorithms)
- Efficient algorithmic methods for Nash equilibria computation + (Nash equilibria TOP algorithms)
- Software engineering in Olena Core + (sotware engineering)
- Property-Based Genericity: A Dynamic Approach + (Climb)
- La généricité par propriétés + (Climb)
- 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)
- On the Usefulness of Clause Strengthening in Parallel SAT Solving + (Parallel satisfiability)
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving + (Parallel satisfiability)
- Transformers: a C++ program transformation framework + (C++ language)