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

• Alternating automata support  + (Alternating automata support)
• Amélioration de la base d'entraînement d'un classifieur k-nn d'OCR  + (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 composition des transducteurs dans Vaucanson)
• Amélioration de la dégénéralisation dans Spot  + (Amélioration de la dégénéralisation dans Spot)
• Amélioration de la réduction par simulation  + (Amélioration de la réduction par simulation)
• Améliorer Horn-Schunck  + (Améliorer Horn-Schunck)
• Améliorer l'architecture de Vaucanson 2  + (Améliorer l'architecture de Vaucanson 2)
• Améliorer la determinisation d'automates de Büchi  + (Améliorer la determinisation d'automates de Büchi)
• An Efficient Algorithm for Connected Attribute Thinnings and Thickenings  + (An Efficient Algorithm for Connected Attribute Thinnings and Thickenings)
• An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D  + (An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D)
• An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D  + (An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D)
• An Experience Report on the Optimization of the Product Configuration System of Renault  + (An Experience Report on the Optimization of the Product Configuration System of Renault)
• An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming  + (An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming)
• An Innovative and Decentralized Identity Framework Based on Blockchain Technology  + (An Innovative and Decentralized Identity Framework Based on Blockchain Technology)
• An XML format proposal for the description of weighted automata, transducers, and regular expressions  + (An XML format proposal for the description of weighted automata, transducers, and regular expressions)
• An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments  + (An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments)
• An edge-based attribute filter dedicated to image segmentation  + (An edge-based attribute filter dedicated to image segmentation)
• An efficient algorithm for attribute openings and closings  + (An efficient algorithm for attribute openings and closings)
• An efficient implementation of transition-based generalized Büchi automaton determinization  + (An efficient implementation of transition-based generalized Büchi automaton determinization)
• An implementation of the C++ container library with SCOOL  + (An implementation of the C++ container library with SCOOL)
• An interpreter for Vaucanson  + (An interpreter for Vaucanson)
• An interpreter for Vaucanson  + (An interpreter for Vaucanson)
• An overview of Scoop, a static object-oriented paradigm  + (An overview of Scoop, a static object-oriented paradigm)
• An overview of Vaucanson  + (An overview of Vaucanson)
• An overview of Vaucanson  + (An overview of Vaucanson)

• Analyse de la mise en page d'un document dans SCRIBO  + (Analyse de la mise en page d'un document dans SCRIBO)

• Analyse de performances dans Vaucanson  + (Analyse de performances dans Vaucanson)
• Analyse structurelle haut-niveau de document dans le module Scribo d'Olena  + (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 Algorithms Calculating the Maximal Disjoint Decomposition of a Set)
• Analysis of the Vaucanson project  + (Analysis of the Vaucanson project)
• Analysis of the Vaucanson project  + (Analysis of the Vaucanson project)
• Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks  + (Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks)
• Applying generic programming to image processing  + (Applying generic programming to image processing)
• Apprentissage d'Opérations Morphologiques  + (Apprentissage d'Opérations Morphologiques)
• Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution  + (Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution)
• Approaches in Typecase Optimization  + (Approaches in Typecase Optimization)
• Approche fonctionnelle de la généricité du traitement d'image  + (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  + (Approche parallèle pour le calcul de l'arbre des formes en n-dimensions)
• Approximate Nash Equilibria for Multi-Player Games  + (Approximate Nash Equilibria for Multi-Player Games)
• Approximate Probabilistic Model Checking for Programs  + (Approximate Probabilistic Model Checking for Programs)
• Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur  + (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  + (Aprentissage Actif d'Automates Visiblement á un compteur)
• Arbres de composantes et opérateurs de chaînage  + (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)
• Artificial states generation in state spaces using kernel density estimation  + (Artificial states generation in state spaces using kernel density estimation)
• Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information  + (Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information)
• Attribute Grammars for Modular Disambiguation  + (Attribute Grammars for Modular Disambiguation)
• Attribute grammars for C++ disambiguation  + (Attribute grammars for C++ disambiguation)
• Attribute grammars for C++ disambiguation  + (Attribute grammars for C++ disambiguation)
• Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness  + (Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness)
• Automata Reduction  + (Automata Reduction)