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

• Tools for Attribute Grammars manipulation in Transformers  + (Transformers)
• Semantics driven disambiguation: a comparison of different approaches  + (disambiguation)
• Semantics driven disambiguation: a comparison of different approaches  + (disambiguation)
• Formal Definition of the Disambiguation with Attribute Grammars  + (disambiguation)
• Formal Definition of the Disambiguation with Attribute Grammars  + (disambiguation)
• Automatic Attribute Propagation for Modular Attribute Grammars  + (attribute grammar)
• Automatic Attribute Propagation for Modular Attribute Grammars  + (attribute grammar)
• Réduction par simulation directe pour les TGBA  + (model-checking)
• Réduction par simulation pour les TGBA  + (automata)
• Réduction basées sur la bisimulation appliquées aux TGBA  + (automata)
• Bisimulation-based Reductions on TGBA  + (automata)
• Simulation-based Reductions for TGBA  + (automata)
• Direct-Simulation Reduction for TGBA  + (model-checking)
• Seminar/2014-02-12  + (automata)
• Representing and Computing with Types in Dynamically Typed Languages  + (rational language)

• Amélioration de la dégénéralisation dans Spot  + (automaton)
• Improving degeneralization in Spot  + (automaton)

• Representing and Computing with Types in Dynamically Typed Languages  + (rational language)
• Performance Comparison of Several Folding Strategies  + (fold)
• Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map  + (fold)
• Réduction par simulation pour les TGBA  + (automata)
• Réduction basées sur la bisimulation appliquées aux TGBA  + (automata)
• Bisimulation-based Reductions on TGBA  + (automata)
• Simulation-based Reductions for TGBA  + (automata)
• Boosting Vaucanson  + (Vaucanson)
• 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)
• Seminar/2009-02-11  + (concurrency)
• Seminar/2014-03-12  + (language)
• Canvas in Olena  + (canvas)
• Canvas in Olena  + (canvas)
• PaInleSS: a Framework for Parallel SAT Solving  + (parallel)
• Towards more efficient parallel SAT solving  + (parallelisation)
• Community and LBD-based Clause Sharing Policy for Parallel SAT Solving  + (Parallel satisfiability)
• On the Usefulness of Clause Strengthening in Parallel SAT Solving  + (Parallel satisfiability)
• Seminar/2013-10-09  + (language)
• Seminar/2009-02-25  + (language)