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)
• 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  +
• Transformation des courbes de niveau rapide  +
• Remedial treatment for Vaucanson: an enhanced automaton concept  + (Vaucanson)
• Traitement curatif pour Vaucanson: un renforcement du concept d'automate  + (Vaucanson)
• 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)
• Morphologie sur images couleur  + (watershed image segmentation)
• Morphology on color images  + (watershed image segmentation)
• Efficient algorithmic methods for Nash equilibria computation  + (Nash equilibria TOP algorithms)
• Efficient algorithmic methods for Nash equilibria computation  + (Nash equilibria TOP algorithms)

• Détection de logotypes et autres invariants caractéristiques  + (Olena)
• Fast Level Line Transform  + (Olena)
• La généricité par propriétés  + (Olena)
• Logotypes detection and other characteristic invariants  + (Olena)
• Property-Based Genericity: A Dynamic Approach  + (Olena)
• Software engineering in Olena Core  + (Olena)
• Software engineering in Olena Core  + (Olena)
• Transformation des courbes de niveau rapide  + (Olena)

• 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)
• 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)