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

• Image reconstruction  + (Segmentation)
• Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages  + (C++)
• Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages  + (C++)
• XML Proposal and its Application in Vaucanson  + (Vaucanson)
• XML Proposal and its Application in Vaucanson  + (Vaucanson)
• Les relations synchrones dans Vaucanson  + (Vaucanson)
• FSMXML et son utilisation dans Vaucanson  + (Vaucanson)
• FSMXML and its application in Vaucanson  + (Vaucanson)
• Synchronous relations in Vaucanson  + (Vaucanson)
• Hiérarchie par propriétés du module Algebra de Vaucanson  + (Vaucanson)
• Property based class hierarchy of Vaucanson's Algebra module  + (Vaucanson)
• Semantics driven disambiguation  + (Transformers)
• Semantics driven disambiguation  + (Transformers)
• Logotypes detection and other characteristic invariants  + (C++)
• Détection de logotypes et autres invariants caractéristiques  + (C++)
• 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)
• Strength-based decomposition of Büchi automaton  + (SPOT)
• Extraction de texte avec des ondelettes  + (Wavelets)
• Text extraction method based on wavelets  + (Wavelets)

• Complementing Büchi Automata  + (Safra construction)
• La complémentation d'automates de Büchi  + (Safra construction)

• Speaker recognition evaluation: selective approaches and fusion  + (Speaker Recognition Evaluation)
• Speaker recognition evaluation: selective approaches and fusion  + (Speaker Recognition Evaluation)
• SVM Kernel Combining System for Speaker Verification  + (Gaussian Mixture Models)
• SVM Kernel Combining System for Speaker Verification  + (Gaussian Mixture Models)
• Reconstruction d'image  + (Segmentation)
• Image reconstruction  + (Segmentation)
• Progresses towards Vaucanson 1.4 and 2.0  + (Vaucanson)
• Avancées vers Vaucanson 1.4 et 2.0  + (Vaucanson)
• Implementing rational semiring  + (Vaucanson)
• Implémentation du corps des (nombres) rationnels  + (Vaucanson)
• Lisp, Jazz, Aikido  + (Software Engineering)
• Method Combinators  + (Software Engineering)
• Parallelizing Quickref  + (Software Engineering)
• Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo  + (Software Engineering)
• Polar type inference with intersection types and ω  + (Software engineering)
• NixOS: A purely functional Linux distribution  + (Software engineering)
• JSPP: Morphing C++ into JavaScript  + (Software engineering)
• Generic programming redesign of patterns  + (Software engineering)
• Expression templates in Ada 95  + (Software engineering)
• Generic Image Processing with Climb  + (Software engineering)
• Generic design patterns in C++  + (Software engineering)
• Revisiting the Visitor: the Just Do It Pattern  + (Software engineering)
• How to make Lisp go faster than C  + (Software engineering)
• Extensible languages: blurring the distinction between DSLs and GPLs  + (Software engineering)