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 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)
- 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)
- Automata in Natural Language Processing + (Automata in Natural Language Processing)
- Automatic Attribute Propagation for Modular Attribute Grammars + (Automatic Attribute Propagation for Modular Attribute Grammars)
- Automatic Attribute Propagation for Modular Attribute Grammars + (Automatic Attribute Propagation for Modular Attribute Grammars)
- Automatic Heart Segmentation + (Automatic Heart Segmentation)
- Automatic detection of text zones on identity documents. + (Automatic detection of text zones on identity documents.)
- Automatic maintenance of exported symbols in Common Lisp packages + (Automatic maintenance of exported symbols in Common Lisp packages)
- Automatic segmentation of Cassini's maps + (Automatic segmentation of Cassini's maps)
- Automatic troll farm account detection on Twitter + (Automatic troll farm account detection on Twitter)
- Automatically Guided Selection of a Set of Underwater Calibration Images + (Automatically Guided Selection of a Set of Underwater Calibration Images)
- Automation of Binary Analysis: From Open Source Collection to Threat Intelligence + (Automation of Binary Analysis: From Open Source Collection to Threat Intelligence)
- Avancées vers Vaucanson 1.4 et 2.0 + (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 + (Banc d'essai de fonctions de coûts appliquées á la segmentation de tumeurs cérébrales)
- Beating C in Scientific Computing Applications + (Beating C in Scientific Computing Applications)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge)
- Benchmarking Keypoint Filtering Approaches for Document Image Matching + (Benchmarking Keypoint Filtering Approaches for Document Image Matching)
- Benchmarking Vaucanson and large C++ libraries + (Benchmarking Vaucanson and large C++ libraries)
- Benchmarking of Partial Order Reduction in Spot + (Benchmarking of Partial Order Reduction in Spot)
- Binary Methods Programming: the CLOS Perspective + (Binary Methods Programming: the CLOS Perspective)
- Binary Methods Programming: the CLOS Perspective (extended version) + (Binary Methods Programming: the CLOS Perspective (extended version))
- Binary Partition Tree for Image Processing + (Binary Partition Tree for Image Processing)
- Binding a high-performance C++ image processing library to Python + (Binding a high-performance C++ image processing library to Python)
- Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them + (Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them)
- Bisimulation-based Reductions on TGBA + (Bisimulation-based Reductions on TGBA)