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 +
- Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur +
- Aprentissage Actif d'Automates Visiblement á un compteur +
- Arbres de composantes et opérateurs de chaînage +
- Artificial states generation in state spaces using kernel density estimation +
- Artificial states generation in state spaces using kernel density estimation +
- Attribute grammars for C++ disambiguation +
- Attribute grammars for C++ disambiguation +
- Automata Reduction +
- Automata in Natural Language Processing +
- Automatic Attribute Propagation for Modular Attribute Grammars +
- Automatic Attribute Propagation for Modular Attribute Grammars +
- Automatic Heart Segmentation +
- Automatic detection of text zones on identity documents. +
- Automatic maintenance of exported symbols in Common Lisp packages +
- Automatic segmentation of Cassini's maps +
- Automatic troll farm account detection on Twitter +
- Avancées vers Vaucanson 1.4 et 2.0 +
- Banc d'essai de fonctions de coûts appliquées á la segmentation de tumeurs cérébrales +
- Benchmarking Vaucanson and large C++ libraries +
- Benchmarking of Partial Order Reduction in Spot +
- Binary Partition Tree for Image Processing +
- Binding a high-performance C++ image processing library to Python +
- Bisimulation-based Reductions on TGBA +
- Boltzmann Machine in speaker verification +
- Booster la généricité de Vaucanson +
- Booster les itérateurs de Vaucanson +
- Boosting Vaucanson +
- Boosting Vaucanson +
- Boosting Vaucanson's Iterator +
- Boosting Vaucanson's genericity +
- Bottleneck neural networks for Speaker Recognition +
- Brain MRI Segmentation using fully convolutional network +
- Brain MRI segmentation using mathematical morphology +
- Brain Tumor Segmentation with deep convolutional network approach +
- Building a quantum perceptron +
- Building an interface for and with Climb +
- C++ Program Slicing with Transformers +
- C++ Transformations panorama +
- C++ Transformations panorama +
- C++ container library with the SCOOP paradigm +
- C++ container library with the SCOOP paradigm +
- C++ template disambiguation with Transformers Attribute Grammars +
- C++ type-checking: A study of existing solutions +
- C++ type-checking: A study of existing solutions +
- CLIMB: A Dynamic Approach To Generic Image Processing +
- CLIMB: Une approche dynamique du traitement générique d'images +
- Calcul de distance par un rśeau de neurones profond siamois +
- Calcul du Complexe de Morse-Smale à l'aide de coupe de ligne de partage des eaux +
- Calcul du flux optique dans des séquences avec des parties manquantes +
- Canvas in Morphological Algorithms +