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

• 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  + (complementation)
• La complémentation d'automates de Büchi  + (complementation)
• 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)

• Avancées vers Vaucanson 1.4 et 2.0  + (Semiring)
• Implementing rational semiring  + (Semiring)
• Implémentation du corps des (nombres) rationnels  + (Semiring)
• Progresses towards Vaucanson 1.4 and 2.0  + (Semiring)

• 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)
• Beating C in Scientific Computing Applications  + (Software engineering)
• CLOS Efficiency: Instantiation  + (Software engineering)
• Stochastic routing in large grid-shaped quantum networks  + (Software engineering)
• Binary Methods Programming: the CLOS Perspective (extended version)  + (Software engineering)
• Binary Methods Programming: the CLOS Perspective  + (Software engineering)
• Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them  + (Software engineering)
• Revisiting the Visitor: the Just Do It Pattern  + (Software engineering)
• On the security of quantum networks: a proposal framework and its capacity  + (Software engineering)
• CLOS solutions to binary methods  + (Software engineering)