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

• 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)
• Parser d'expressions rationnelles  + (parser)
• Automata Reduction  + (parser)
• Rational Expression Parser  + (parser)
• Reduction d'automates  + (parser)
• 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)

• Approaches in Typecase Optimization  + (typechecking)
• Efficient Dynamic Type Checking of Heterogeneous Sequences  + (typechecking)
• Programmatic Manipulation of Common Lisp Type Specifiers  + (typechecking)
• Type-Checking of Heterogeneous Sequences in Common Lisp  + (typechecking)

• 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)
• Regression benchmarking  + (regression benchmark)
• Seminar/2013-01-23  + (languages)
• Ligne de partage des eaux topologique  + (watershed image segmentation)
• Topological Watershed  + (watershed image segmentation)
• Morphologie sur images couleur  + (watershed image segmentation)
• Morphology on color images  + (watershed image segmentation)
• Seminar/2014-03-12  + (language)