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

• A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy  + (A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy)
• AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation  + (AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation)
• APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains  + (APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains)
• About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time.  + (About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time.)
• Action recognition: how intelligent virtual environments can ease human-machine interaction  + (Action recognition: how intelligent virtual environments can ease human-machine interaction)
• Active Learning on Visibly One Counter Systems  + (Active Learning on Visibly One Counter Systems)
• Adaptation d'algorithmes de Vaucanson à une interface plus simple  + (Adaptation d'algorithmes de Vaucanson à une interface plus simple)
• Adaptation de l'algorithme de watershed cuts aux complexes cellulaires  + (Adaptation de l'algorithme de watershed cuts aux complexes cellulaires)
• Adaptation of the watershed cuts algorithm to cellular complexes  + (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  + (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 Vaucanson algorithms to a simpler interface)
• Adapting the data structures of Vaucanson to the concept of kind and a new interface  + (Adapting the data structures of Vaucanson to the concept of kind and a new interface)
• Adaptive partial order reduction methods  + (Adaptive partial order reduction methods)
• Adding Contracts to C++ with Transformers  + (Adding Contracts to C++ with Transformers)
• Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis  + (Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis)
• Ajout de la programmation par contrats au C++ avec Transformers  + (Ajout de la programmation par contrats au C++ avec Transformers)
• Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire  + (Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire)
• Algorithmes sur les Transducteurs  + (Algorithmes sur les Transducteurs)
• Algorithms for Mathematical Morphology  + (Algorithms for Mathematical Morphology)
• Algorithms on Transducers  + (Algorithms on Transducers)
• Alternate Fictitious Play study and implementation  + (Alternate Fictitious Play study and implementation)
• 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)