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 +
- Canvas in Morphological Algorithms +
- Canvas in Olena +
- Canvas in Olena +
- Centaur : Une infrastructure générique simplifiant les transformations de C++ +
- Centaur: A generic framework simplifying C++ transformation +
- Climb: Implémentation de voisinage pondérés +
- Climb: Weighted Neighborhood Implementation +
- Coercition et programmation orientée contexte +
- Color types in Milena +
- Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking +
- Comment implémenter le support des goroutines dans go2pins +
- Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle +
- Compensation d'i-vecteur spécifique aux locuteurs dans la reconnaissance du locuteur +
- Compensation locale du canal dans les systèmes de reconnaissance du locuteur +
- Complementing Büchi Automata +
- Complementing Büchi Automata With Alternating Automata +
- Component Trees and Chaining Operators in Climb +
- Component trees in Milena +
- Composition Efficace de Transducteurs dans Vcsn +
- Composition de transducteur dans Vaucanson 2 +
- Compression d'états dans Spot +
- Computing the optical flow in sequences with missing parts +
- Computing the regular language recognized by a finite automaton +
- Computing the regular language recognized by a finite automaton +
- ConceptC++ study and possible integration in SCOOP +
- Conception of a static oriented language: an overview of Scool +
- Conception of a static oriented language: an overview of Scool +
- Concevoir l'interface d'une bibliothèque générique en Common Lisp +
- Construction d'une interface pour et avec Climb +
- Construire un perceptron quantique +
- Context-oriented programming applied to image processing +
- Contribution to dyn:: +
- Contribution à dyn:: +
- Counterexample searches in Spot +
- Cover automata for finite languages +
- Cover automata for finite languages +
- Creation of an antichain library +
- Création d'un lien entre une bibliothèque de traitement d'image en C++ hautes performances vers Python +
- Création d'une bibliothèque d'antichaîne +
- De nouvelles fac cons d'utiliser l'interface Jupyter. +
- Deciding Persistence or Recurrence Membership in Spot +
- Dematerialization Tools in SCRIBO +
- Designing the user interface for a Common Lisp generic library +
- Detecting Botnets Behaviors over Network Flows using Hidden Markov Models +
- Detecting danger in marine environment: Part 1 - Making the dataset +
- Detecting danger in marine environnement +
- Direct-Simulation Reduction for TGBA +
- Discrimination supervisé de caractères sur des images +
- Dispatch par propriétés dans les langages fonctionnels +
- Distance Transform +
- Distance Transform +
- Distributed State Space Exploration +
- Document layout analysis in SCRIBO +
- Domain Mismatch Compensation for Text-Independant Speaker Recognition +
- Domain Mismatch Compensation for Text-Independant Speaker Recognition +
- Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions +
- Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions +
- Dynamization of C++ static libraries +
- Dynamization of C++ static libraries +
- Décomposition d'un automate de Büchi Généralisé multi-force +
- Découpage automatique des cartes de Cassini +
- Découpage de programme C++ avec Transformers +
- Désambiguïsation de la superposition de lignes. +
- Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers +
- Détection Automatique de Comptes Troll Farm sur Twitter +
- Détection automatique de zones de textes sur des pièces d'identité +
- Détection de danger en milieu marin +
- Détection de danger en milieu marin, Création du dataset +
- Détection de logotypes et autres invariants caractéristiques +
- Détection de logotypes et autres invariants caractéristiques à l'aide de descripteurs SIFT +
- Détection de voix +
- Détection des comportements de botnets au travers d'un flux en réseau en utilisant des modèles de Markov cachés +
- Développement d'une interface graphique pour Vaucanson +
- Développement d'une interface graphique pour Vaucanson +
- Ecriture d'algorithmes de traitement d'images génériques +
- Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games +
- Efficient Dynamic Type Checking of Heterogeneous Sequences +
- Efficient Transducer Composition in Vcsn +
- Efficient Translation of Fairness LTL Formulae into Deterministic Automata +
- Efficient algorithmic methods for Nash equilibria computation +
- Efficient algorithmic methods for Nash equilibria computation +
- Efficient implementations of hierarchical morphological representations +
- Efficient removal of spontaneous transitions in Vcsn +
- Estimation de la fonction de niveau de bruit dans des images multivariées en utilisant l'arbre des formes et des statistiques non-paramétriques +
- Estimation de la fonction de niveau de bruit dans des images naturelles en utilisant l'arbre des formes +
- Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics +
- Estimation of the noise level function in natural images using the tree of shapes +
- Etude comparative d'invariants de forme pour la classification texte / non-texte +
- Etude de ConceptC++ et possible intégration dans SCOOP +
- Evaluation method of text detection algorithm rating +
- Exact optimization of discrete constrained total variation minimization problems +
- Exploration d'espace d'état distribué +
- Exploring various implementations for goroutines support in go2pins +
- Extraction de l'inverse video dans SCRIBO. +
- Extraction de texte avec des ondelettes +
- FSMXML and its application in Vaucanson +
- FSMXML et son utilisation dans Vaucanson +
- FSMXML for Vaucanson 2.0 +
- FSMXML pour Vaucanson 2.0 +
- Factor analysis based channel compensation in speaker verification +
- Factor analysis based channel compensation in speaker verification +
- Fast Image Registration +
- Fast Level Line Transform +
- Fast reductions for ω-automaton +
- Fast simulation based reduction for ω-automaton +
- Fast structure preserving inpainting +
- Fictious Play +
- Filtrage à base de contours pour la segmentation d'images +
- Finding Maximal Common Joins in a DAG +
- Finding Short Synchronizing Words +
- Formal Definition of the Disambiguation with Attribute Grammars +
- Formal Definition of the Disambiguation with Attribute Grammars +
- From an expression to the original automaton +
- From an expression to the original automaton +
- Front-end Promela dans Spot +
- Full Covariance Matrices based Gaussian Mixture Models +
- Functionnal approach of image processing genericity +
- Generalized Linear Discriminant Sequence for Speaker Verification +
- Generic epsilon-removal +
- Generic epsilon-removal +
- Gestion des transitions blackbox dans go2pins +
- Génération aléatoire d'automates et de chemins dans Vcsn +
- Génération aléatoire d'expression rationnelle +
- Handling blackbox transitions in go2pins +
- High-level Document Structure Analysis in the Olena Scribo Module +
- Histogrammes +
- Histograms +
- Hiérarchie par propriétés du module Algebra de Vaucanson +
- Homolib +
- Homolib +
- I-Vector Multilayer Perceptron in Speaker Recognition System +
- I-Vectors distance learning with Convolutional Neural Networks +
- IVector space mapping with Deep Neural Network +
- Identification Polynomiale des omega-Langages +
- Identification de Botnets à travers le réseau en utilisant les moèles de mélange gaussien +
- Identifying Botnets in the Network using Gaussian Mixture Models +
- Image processing for plots detection from ancient maps +
- Image reconstruction +
- Image taxonomy in Milena +
- Image taxonomy in Olena +
- Image taxonomy in Olena +
- Images taxonomy and modeling +
- Images taxonomy and modeling +
- Implementation of Invisible and Transparent Transitions in Spot +
- Implementation of transducers in Vaucanson +
- Implementation of transducers in Vaucanson +
- Implementations efficaces des representations hierarchiques morphologiques +
- Implementing Baker's SUBTYPEP decision procedure +
- Implementing Baker's SUBTYPEP decision procedure +
- Implementing a C++ extension with Transformers: class namespace +