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

• Boosting Vaucanson's genericity  + (Vaucanson)
• Booster la généricité de Vaucanson  + (Vaucanson)
• Boosting Vaucanson  + (Vaucanson)
• Analyse de la mise en page d'un document dans SCRIBO  + (Document image analysis)
• Document layout analysis in SCRIBO  + (Document image analysis)
• Seminar/2008-01-30  + (image)
• PaInleSS: a Framework for Parallel SAT Solving  + (parallel)
• Towards more efficient parallel SAT solving  + (parallelisation)
• On the Usefulness of Clause Strengthening in Parallel SAT Solving  + (Parallel satisfiability)
• Canvas in Olena  + (canvas)
• Canvas in Olena  + (canvas)
• Community and LBD-based Clause Sharing Policy for Parallel SAT Solving  + (Parallel satisfiability)
• Seminar/2013-10-09  + (language)
• Complementing Büchi Automata  + (complementation)
• La complémentation d'automates de Büchi  + (complementation)
• Seminar/2009-02-11  + (concurrency)
• Seminar/2009-02-25  + (language)
• Seminar/2014-03-12  + (language)
• Using connected operators to manipulate image components  + (olena)
• Using connected operators to manipulate image components  + (olena)

• Automatic Attribute Propagation for Modular Attribute Grammars  + (context-free grammar)
• Automatic Attribute Propagation for Modular Attribute Grammars  + (context-free grammar)
• Semantics driven disambiguation  + (context-free grammar)
• Semantics driven disambiguation  + (context-free grammar)
• Semantics driven disambiguation: A comparison of different approaches  + (context-free grammar)
• Semantics driven disambiguation: A comparison of different approaches  + (context-free grammar)

• Semantics driven disambiguation: a comparison of different approaches  + (disambiguation)
• Semantics driven disambiguation: a comparison of different approaches  + (disambiguation)
• Improving degeneralization in Spot  + (model checking)
• Amélioration de la dégénéralisation dans Spot  + (model checking)
• PaInleSS: a Framework for Parallel SAT Solving  + (parallel)
• Regression benchmarking  + (regression benchmark)
• Regression benchmarking  + (regression benchmark)
• Programmatic Manipulation of Common Lisp Type Specifiers  + (Graph algorithms)
• Tools for Attribute Grammars manipulation in Transformers  + (Transformers)
• Tools for Attribute Grammars manipulation in Transformers  + (Transformers)
• Décomposition d'un automate de Büchi Généralisé multi-force  + (SPOT)
• Strength-based decomposition of Büchi automaton  + (SPOT)
• Boosting Vaucanson's Iterator  + (Vaucanson)
• Booster les itérateurs de Vaucanson  + (Vaucanson)
• Logotypes detection and other characteristic invariants  + (C++)
• Détection de logotypes et autres invariants caractéristiques  + (C++)
• 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)
• Image taxonomy in Olena  + (olena)
• Image taxonomy in Olena  + (olena)
• Complementing Büchi Automata  + (complementation)
• La complémentation d'automates de Büchi  + (complementation)