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 blockchain-based certificate revocation management and status verification system + (A blockchain-based certificate revocation management and status verification system)
- A co-Büching Toolbox + (A co-Büching Toolbox)
- A comparative study of image invariants for text / non-text classification + (A comparative study of image invariants for text / non-text classification)
- A comparison of many max-tree computation algorithms + (A comparison of many max-tree computation algorithms)
- A fast algorithm for auto-dual trees + (A fast algorithm for auto-dual trees)
- A fast and exact algorithm for total variation minimization + (A fast and exact algorithm for total variation minimization)
- A first step toward a fair comparison of evaluation protocols for text detection algorithms + (A first step toward a fair comparison of evaluation protocols for text detection algorithms)
- A framework to dynamically manage distributed virtual environments + (A framework to dynamically manage distributed virtual environments)
- A new translation from LTL into TGBA in Spot + (A new translation from LTL into TGBA in Spot)
- A note on nice-levelable MRFs for SAR image denoising with contrast preservation + (A note on nice-levelable MRFs for SAR image denoising with contrast preservation)
- A novel method to fight the non line of sight error in AOA measurements for mobile location + (A novel method to fight the non line of sight error in AOA measurements for mobile location)
- A precise skew estimation algorithm for document images using KNN clustering and Fourier transform + (A precise skew estimation algorithm for document images using KNN clustering and Fourier transform)
- A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming + (A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming)
- 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)