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
- ... Insert a title in French here ... +
- ... Insert a title in French here ... +
- A Feedback Arc Set for Spot +
- A Promela front-end for Spot +
- A co-Büching Toolbox +
- A comparative study of image invariants for text / non-text classification +
- A fast algorithm for auto-dual trees +
- A fast and exact algorithm for total variation minimization +
- A new translation from LTL into TGBA in Spot +
- A note on nice-levelable MRFs for SAR image denoising with contrast preservation +
- About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time. +
- Active Learning on Visibly One Counter Systems +
- Adaptation d'algorithmes de Vaucanson à une interface plus simple +
- Adaptation de l'algorithme de watershed cuts aux complexes cellulaires +
- Adaptation of the watershed cuts algorithm to cellular complexes +
- Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée +
- Adapting Vaucanson algorithms to a simpler interface +
- Adapting the data structures of Vaucanson to the concept of kind and a new interface +
- Adaptive partial order reduction methods +
- Adding Contracts to C++ with Transformers +
- Ajout de la programmation par contrats au C++ avec Transformers +
- Algorithmes sur les Transducteurs +
- Algorithms on Transducers +
- Alternate Fictitious Play study and implementation +
- Alternating automata support +
- Amélioration de la base d'entraînement d'un classifieur k-nn d'OCR +
- Amélioration de la composition des transducteurs dans Vaucanson +
- Amélioration de la dégénéralisation dans Spot +
- Amélioration de la réduction par simulation +
- Améliorer Horn-Schunck +
- Améliorer l'architecture de Vaucanson 2 +
- Améliorer la determinisation d'automates de Büchi +
- An edge-based attribute filter dedicated to image segmentation +
- An efficient implementation of transition-based generalized Büchi automaton determinization +
- An implementation of the C++ container library with SCOOL +
- An interpreter for Vaucanson +
- An interpreter for Vaucanson +
- An overview of Scoop, a static object-oriented paradigm +
- An overview of Vaucanson +
- An overview of Vaucanson +
- Analyse de la mise en page d'un document dans SCRIBO +
- Analyse de performances dans Vaucanson +
- Analyse structurelle haut-niveau de document dans le module Scribo d'Olena +
- Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set +
- Analysis of the Vaucanson project +
- Analysis of the Vaucanson project +
- Apprentissage d'Opérations Morphologiques +
- Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution +
- Approche fonctionnelle de la généricité du traitement d'image +
- Approche parallèle pour le calcul de l'arbre des formes en n-dimensions +