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

• La complémentation d'automates de Büchi  + (16:07:30, 9 January 2018)
• Complementing Büchi Automata  + (16:07:30, 9 January 2018)
• Complementing Büchi Automata With Alternating Automata  + (16:07:31, 9 January 2018)
• La complémentation d'automates de Büchi à travers des automates alternants  + (16:07:32, 9 January 2018)
• Améliorer l'architecture de Vaucanson 2  + (16:07:33, 9 January 2018)
• Improving Vaucanson's design  + (16:07:33, 9 January 2018)
• Transducers in Vaucanson 2  + (16:07:34, 9 January 2018)
• Transducteurs dans Vaucanson 2  + (16:07:35, 9 January 2018)
• C++ template disambiguation with Transformers Attribute Grammars  + (16:07:35, 9 January 2018)
• Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers  + (16:07:36, 9 January 2018)
• An implementation of the C++ container library with SCOOL  + (16:07:37, 9 January 2018)
• Une implémentation des conteneurs C++ avec SCOOL  + (16:07:38, 9 January 2018)
• Integrating modern parallel techniques in the Tiger compiler  + (16:07:38, 9 January 2018)
• Intégration de techniques de parallélisation dans le compilateur Tiger  + (16:07:40, 9 January 2018)
• Climb: Weighted Neighborhood Implementation  + (16:07:42, 9 January 2018)
• Climb: Implémentation de voisinage pondérés  + (16:07:42, 9 January 2018)
• Building an interface for and with Climb  + (16:07:43, 9 January 2018)
• Construction d'une interface pour et avec Climb  + (16:07:44, 9 January 2018)
• Parallel Climb  + (16:07:45, 9 January 2018)
• Parallélisation de Climb  + (16:07:45, 9 January 2018)
• Logotypes detection and other characteristic invariants  + (16:07:46, 9 January 2018)
• Détection de logotypes et autres invariants caractéristiques  + (16:07:47, 9 January 2018)
• Logotypes detection and other characteristics invariants using SIFT descriptors  + (16:07:48, 9 January 2018)
• Improving OCR k-NN classifier's training set  + (16:07:49, 9 January 2018)
• Détection de logotypes et autres invariants caractéristiques à l'aide de descripteurs SIFT  + (16:07:49, 9 January 2018)

• Amélioration de la base d'entraînement d'un classifieur k-nn d'OCR  + (16:07:50, 9 January 2018)

• eXtended Reactive Modules  + (16:07:51, 9 January 2018)
• eXtended Reactive Modules  + (16:07:51, 9 January 2018)
• revCPP A reversible C++ preprocessor  + (16:07:53, 9 January 2018)
• revCPP A reversible C++ preprocessor  + (16:07:53, 9 January 2018)
• Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages  + (16:07:55, 9 January 2018)
• Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages  + (16:07:55, 9 January 2018)
• From an expression to the original automaton  + (16:07:56, 9 January 2018)
• From an expression to the original automaton  + (16:07:57, 9 January 2018)
• Canvas in Olena  + (16:07:57, 9 January 2018)
• Canvas in Olena  + (16:07:58, 9 January 2018)
• Transducer composition in Vaucanson 2  + (16:07:59, 9 January 2018)
• Algorithms on Transducers  + (16:08:00, 9 January 2018)
• Composition de transducteur dans Vaucanson 2  + (16:08:00, 9 January 2018)
• Algorithmes sur les Transducteurs  + (16:08:01, 9 January 2018)
• Composition Efficace de Transducteurs dans Vcsn  + (16:08:02, 9 January 2018)
• Efficient Transducer Composition in Vcsn  + (16:08:02, 9 January 2018)
• Réduction d'ordre partiel dans SPOT  + (16:08:04, 9 January 2018)
• Partial order reduction in SPOT  + (16:08:04, 9 January 2018)
• SCOOL: object orientation of a static language  + (16:08:05, 9 January 2018)
• SCOOL: Concept-Oriented Programming  + (16:08:06, 9 January 2018)
• SCOOL: object orientation of a static language  + (16:08:06, 9 January 2018)
• SCOOL: Programmation générique et concepts  + (16:08:07, 9 January 2018)
• SCOOL: Generic programming  + (16:08:08, 9 January 2018)
• SCOOL: Programmation générique  + (16:08:08, 9 January 2018)
• Semantics driven disambiguation: a comparison of different approaches  + (16:08:09, 9 January 2018)