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

• Analysis of the Vaucanson project  + (Vaucanson)
• Extraction de l'inverse video dans SCRIBO.  + (Inverse Video)
• Inverse Video extraction in Scribo  + (Inverse Video)
• Scribo: Disambiguation of lines superimposement  + (Text extraction)
• Désambiguïsation de la superposition de lignes.  + (Text extraction)
• Monads in Common Lisp  + (monad)
• Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set  + (types)
• Finding Maximal Common Joins in a DAG  + (CLOS)
• Representing and Computing with Types in Dynamically Typed Languages  + (rational language)
• Performance Comparison of Several Folding Strategies  + (fold)
• Recognizing Heterogeneous Sequences by Rational Type Expression  + (rational language)
• Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map  + (fold)
• A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers  + (Parallel satisfiability)
• Fast Level Line Transform  + (Olena)
• Transformation des courbes de niveau rapide  + (Olena)
• Benchmarking Vaucanson and large C++ libraries  + (Vaucanson)
• Analyse de performances dans Vaucanson  + (Vaucanson)
• Finite Automata Theory Based Optimization of Conditional Variable Binding  + (finite automata)
• Adaptation of the watershed cuts algorithm to cellular complexes  + (Watershed cuts)
• Adaptation de l'algorithme de watershed cuts aux complexes cellulaires  + (Watershed cuts)
• Nondéterminisation d'automates alternants dans SPOT  + (SPOT)
• Nondeterminisation of alternating automata in SPOT  + (SPOT)
• Décomposition d'un automate de Büchi Généralisé multi-force  + (SPOT)
• Improving degeneralization in Spot  + (model checking)
• Strength-based decomposition of Büchi automaton  + (SPOT)
• Amélioration de la dégénéralisation dans Spot  + (model checking)
• Réduction par simulation pour les TGBA  + (automata)
• Simulation-based Reductions for TGBA  + (automata)

• A Promela front-end for Spot  + (model-checking)
• Direct-Simulation Reduction for TGBA  + (model-checking)
• Front-end Promela dans Spot  + (model-checking)
• Réduction par simulation directe pour les TGBA  + (model-checking)
• eXtended Reactive Modules  + (model-checking)
• eXtended Reactive Modules  + (model-checking)

• 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)
• Monads in Common Lisp  + (monad)
• Seminar/2008-01-30  + (image)
• Boosting Vaucanson  + (Vaucanson)
• Boosting Vaucanson's genericity  + (Vaucanson)
• Booster la généricité de Vaucanson  + (Vaucanson)
• Boosting Vaucanson  + (Vaucanson)
• Image taxonomy in Olena  + (olena)
• Image taxonomy in Olena  + (olena)
• An interpreter for Vaucanson  + (Vaucanson)
• An interpreter for Vaucanson  + (Vaucanson)
• Using connected operators to manipulate image components  + (olena)
• Using connected operators to manipulate image components  + (olena)
• LRDE's Speaker Verification Framework  + (gaussian)
• LRDE's Speaker Verification Framework  + (gaussian)
• PaInleSS: a Framework for Parallel SAT Solving  + (parallel)
• Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework  + (Divide-and-conquer)
• Towards more efficient parallel SAT solving  + (parallelisation)
• Parser d'expressions rationnelles  + (parser)
• Automata Reduction  + (parser)
• Rational Expression Parser  + (parser)