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

• Using connected operators to manipulate image components  + (olena)
• Using connected operators to manipulate image components  + (olena)
• 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)
• Tools for Attribute Grammars manipulation in Transformers  + (Transformers)
• 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)

• Bisimulation-based Reductions on TGBA  + (automata)
• Direct-Simulation Reduction for TGBA  + (automata)
• Representing and Computing with Types in Dynamically Typed Languages  + (automata)
• Réduction basées sur la bisimulation appliquées aux TGBA  + (automata)
• Réduction par simulation directe pour les TGBA  + (automata)
• Réduction par simulation pour les TGBA  + (automata)
• Seminar/2014-02-12  + (automata)
• Simulation-based Reductions for TGBA  + (automata)

• Improving degeneralization in Spot  + (model checking)
• Amélioration de la dégénéralisation dans Spot  + (model checking)
• 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  +
• Réduction basées sur la bisimulation appliquées aux TGBA  +
• Bisimulation-based Reductions on TGBA  +
• Simulation-based Reductions for TGBA  +
• 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)