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
- 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)
- Blockchain-Based Solution for Detecting and Preventing Fake Check Scams + (Blockchain-Based Solution for Detecting and Preventing Fake Check Scams)
- Boltzmann Machine in speaker verification + (Boltzmann Machine in speaker verification)
- Booster la généricité de Vaucanson + (Booster la généricité de Vaucanson)
- Booster les itérateurs de Vaucanson + (Booster les itérateurs de Vaucanson)
- Boosting Vaucanson + (Boosting Vaucanson)
- Boosting Vaucanson + (Boosting Vaucanson)
- Boosting Vaucanson's Iterator + (Boosting Vaucanson's Iterator)
- Boosting Vaucanson's genericity + (Boosting Vaucanson's genericity)
- Bottleneck neural networks for Speaker Recognition + (Bottleneck neural networks for Speaker Recognition)
- Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images + (Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images)
- Brain MRI Segmentation using fully convolutional network + (Brain MRI Segmentation using fully convolutional network)
- Brain MRI segmentation using mathematical morphology + (Brain MRI segmentation using mathematical morphology)
- Brain Tumor Segmentation with deep convolutional network approach + (Brain Tumor Segmentation with deep convolutional network approach)
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation + (Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation)
- Building LTL Model Checkers using Transition-based Generalized Büchi Automata + (Building LTL Model Checkers using Transition-based Generalized Büchi Automata)
- Building a quantum perceptron + (Building a quantum perceptron)
- Building an interface for and with Climb + (Building an interface for and with Climb)
- C++ Program Slicing with Transformers + (C++ Program Slicing with Transformers)
- C++ Transformations panorama + (C++ Transformations panorama)
- C++ Transformations panorama + (C++ Transformations panorama)
- C++ container library with the SCOOP paradigm + (C++ container library with the SCOOP paradigm)
- C++ container library with the SCOOP paradigm + (C++ container library with the SCOOP paradigm)
- C++ template disambiguation with Transformers Attribute Grammars + (C++ template disambiguation with Transformers Attribute Grammars)
- C++ type-checking: A study of existing solutions + (C++ type-checking: A study of existing solutions)
- C++ type-checking: A study of existing solutions + (C++ type-checking: A study of existing solutions)
- C-Transformers — A Framework to Write C Program Transformations + (C-Transformers — A Framework to Write C Program Transformations)
- C/C++ Disambiguation Using Attribute Grammars + (C/C++ Disambiguation Using Attribute Grammars)
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving + (CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving)
- CLIMB: A Dynamic Approach To Generic Image Processing + (CLIMB: A Dynamic Approach To Generic Image Processing)