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

• Generic epsilon-removal  + (Vaucanson)
• Réduction par simulation directe pour les TGBA  + (model-checking)
• Réduction par simulation pour les TGBA  + (automata)
• Simulation-based Reductions for TGBA  + (automata)
• Direct-Simulation Reduction for TGBA  + (model-checking)
• Properties in Milena  + (Image processing library)
• An overview of Vaucanson  + (Vaucanson)
• Les propriétés dans Milena  + (Image processing library)
• An overview of Vaucanson  + (Vaucanson)
• Analysis of the Vaucanson project  + (Vaucanson)
• Analysis of the Vaucanson project  + (Vaucanson)
• Software engineering in Olena Core  + (sotware engineering)
• Software engineering in Olena Core  + (sotware engineering)
• LRDE's Speaker Verification Framework  + (gaussian)
• LRDE's Speaker Verification Framework  + (gaussian)
• A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers  + (Parallel satisfiability)
• Réduction basées sur la bisimulation appliquées aux TGBA  + (automata)
• Bisimulation-based Reductions on TGBA  + (automata)
• Canvas in Olena  + (canvas)
• Canvas in Olena  + (canvas)
• On the Usefulness of Clause Strengthening in Parallel SAT Solving  + (Parallel satisfiability)

• An interpreter for Vaucanson  + (swig)
• An interpreter for Vaucanson  + (swig)

• Synchronized Tranducers  + (vaucanson)
• Transducteurs synchronisés  + (vaucanson)
• Image taxonomy in Olena  + (olena)
• Image taxonomy in Olena  + (olena)
• Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers  + (Transformers)
• C++ template disambiguation with Transformers Attribute Grammars  + (Transformers)
• 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: a comparison of different approaches  + (disambiguation)
• Semantics driven disambiguation  + (Transformers)
• Semantics driven disambiguation: a comparison of different approaches  + (disambiguation)
• Extraction de l'inverse video dans SCRIBO.  + (Inverse Video)
• Inverse Video extraction in Scribo  + (Inverse Video)
• Improving degeneralization in Spot  + (model checking)
• Amélioration de la dégénéralisation dans Spot  + (model checking)
• Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework  + (Divide-and-conquer)
• On the Usefulness of Clause Strengthening in Parallel SAT Solving  + (Parallel satisfiability)
• Analyse de la mise en page d'un document dans SCRIBO  + (Document image analysis)
• Document layout analysis in SCRIBO  + (Document image analysis)
• Parser d'expressions rationnelles  + (parser)
• Automata Reduction  + (parser)
• Rational Expression Parser  + (parser)
• Reduction d'automates  + (parser)