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

• Etude comparative d'invariants de forme pour la classification texte / non-texte  + (Image invariants)
• Monads in Common Lisp  + (monad)
• Seminar/2008-01-30  + (image)
• Boosting Vaucanson  + (Vaucanson)
• Boosting Vaucanson's genericity  + (Vaucanson)
• Booster la généricité de Vaucanson  + (Vaucanson)
• Boosting Vaucanson  + (Vaucanson)
• An interpreter for Vaucanson  + (Vaucanson)
• An interpreter for Vaucanson  + (Vaucanson)
• Using connected operators to manipulate image components  + (olena)
• Using connected operators to manipulate image components  + (olena)
• Image taxonomy in Olena  + (olena)
• Image taxonomy in Olena  + (olena)
• PaInleSS: a Framework for Parallel SAT Solving  + (parallel)
• Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework  + (Divide-and-conquer)
• Towards more efficient parallel SAT solving  + (parallelisation)
• LRDE's Speaker Verification Framework  + (gaussian)
• LRDE's Speaker Verification Framework  + (gaussian)
• Parser d'expressions rationnelles  + (parser)
• Automata Reduction  + (parser)
• Rational Expression Parser  + (parser)
• Reduction d'automates  + (parser)
• Semantics driven disambiguation: A comparison of different approaches  + (Transformers)
• Semantics driven disambiguation: A comparison of different approaches  + (Transformers)
• Semantics driven disambiguation  + (Transformers)
• Semantics driven disambiguation  + (Transformers)

• Analyse de performances dans Vaucanson  + (performance analysis)
• Benchmarking Vaucanson and large C++ libraries  + (performance analysis)
• Regression benchmarking  + (performance analysis)
• Regression benchmarking  + (performance analysis)

• PaInleSS: a Framework for Parallel SAT Solving  + (parallel)
• On the Usefulness of Clause Strengthening in Parallel SAT Solving  + (Parallel satisfiability)
• Towards more efficient parallel SAT solving  + (parallelisation)
• Benchmarking Vaucanson and large C++ libraries  + (Vaucanson)
• Analyse de performances dans Vaucanson  + (Vaucanson)
• Découpage de programme C++ avec Transformers  + (Transformers)
• C++ Program Slicing with Transformers  + (Transformers)
• Transformers : vers la fin du tunnel  + (Transformers)
• Transformers: toward the end of the pipeline  + (Transformers)
• revCPP A reversible C++ preprocessor  + (revCPP)
• Semantics driven disambiguation: A comparison of different approaches  + (Transformers)
• Semantics driven disambiguation: A comparison of different approaches  + (Transformers)
• Semantics driven disambiguation  + (Transformers)
• revCPP A reversible C++ preprocessor  + (revCPP)
• Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers  + (Transformers)
• eXtended Reactive Modules  + (model-checking)
• Semantics driven disambiguation: a comparison of different approaches  + (disambiguation)
• Semantics driven disambiguation  + (Transformers)
• C++ template disambiguation with Transformers Attribute Grammars  + (Transformers)
• Implementing a C++ extension with Transformers: class namespace  + (Transformers)
• Semantics driven disambiguation: a comparison of different approaches  + (disambiguation)
• eXtended Reactive Modules  + (model-checking)
• Implémentation d'une extension du C++ dans Transformers: class namespace  + (Transformers)