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

• Bisimulation-based Reductions on TGBA  + (automata)
• Canvas in Olena  + (canvas)
• Canvas in Olena  + (canvas)
• An interpreter for Vaucanson  + (Vaucanson)
• An interpreter for Vaucanson  + (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)
• Synchronized Tranducers  + (vaucanson)
• Transducteurs synchronisés  + (vaucanson)

• Automata Reduction  + (transducerautomaton)
• Parser d'expressions rationnelles  + (transducerautomaton)
• Rational Expression Parser  + (transducerautomaton)
• Reduction d'automates  + (transducerautomaton)

• Implementation of transducers in Vaucanson  + (Vaucanson)
• Implementation of transducers in Vaucanson  + (Vaucanson)
• Transducers in Vaucanson 2  + (transducers vaucanson santet)
• Transducteurs dans Vaucanson 2  + (transducers vaucanson santet)
• Finite Automata Theory Based Optimization of Conditional Variable Binding  + (finite automata)
• Implementing Baker's SUBTYPEP decision procedure  + (type systems)
• A Portable, Simple, Embeddable Type System  + (infinite alphabets)
• Efficient Dynamic Type Checking of Heterogeneous Sequences  + (Rational languages)
• Approaches in Typecase Optimization  + (typechecking)
• Type-Checking of Heterogeneous Sequences in Common Lisp  + (Rational languages)
• Programmatic Manipulation of Common Lisp Type Specifiers  + (Graph algorithms)
• Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set  + (types)
• Recognizing Heterogeneous Sequences by Rational Type Expression  + (rational language)
• revCPP A reversible C++ preprocessor  + (revCPP)
• revCPP A reversible C++ preprocessor  + (revCPP)
• revCPP A reversible C++ preprocessor  + (revCPP)
• revCPP A reversible C++ preprocessor  + (revCPP)
• Synchronized Tranducers  + (vaucanson)
• Transducteurs synchronisés  + (vaucanson)
• A Modern C++ Point of View of Programming in Image Processing  + (Image)
• Front-end Promela dans Spot  + (Spot)
• A Promela front-end for Spot  + (Spot)
• Regression benchmarking  + (regression benchmark)