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
- Distributed State Space Exploration + (Distributed State Space Exploration)
- Distribution, approximation and probabilistic model checking + (Distribution, approximation and probabilistic model checking)
- Diversifying a Parallel SAT Solver with Bayesian Moment Matching + (Diversifying a Parallel SAT Solver with Bayesian Moment Matching)
- Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation + (Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation)
- Document detection in videos captured by smartphones using a saliency-based method + (Document detection in videos captured by smartphones using a saliency-based method)
- Document layout analysis in SCRIBO + (Document layout analysis in SCRIBO)
- Document type recognition using evidence theory + (Document type recognition using evidence theory)
- Domain Mismatch Compensation for Text-Independant Speaker Recognition + (Domain Mismatch Compensation for Text-Independant Speaker Recognition)
- Domain Mismatch Compensation for Text-Independant Speaker Recognition + (Domain Mismatch Compensation for Text-Independant Speaker Recognition)
- Données, Transparence et Démocratie + (Données, Transparence et Démocratie)
- Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions + (Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions)
- Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions + (Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions)
- Dynamization of C++ static libraries + (Dynamization of C++ static libraries)
- Dynamization of C++ static libraries + (Dynamization of C++ static libraries)
- Décomposition d'un automate de Büchi Généralisé multi-force + (Décomposition d'un automate de Büchi Généralisé multi-force)
- Découpage automatique des cartes de Cassini + (Découpage automatique des cartes de Cassini)
- Découpage de programme C++ avec Transformers + (Découpage de programme C++ avec Transformers)
- Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents + (Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents)
- Désambiguïsation de la superposition de lignes. + (Désambiguïsation de la superposition de lignes.)
- Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers + (Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers)
- Détection Automatique de Comptes Troll Farm sur Twitter + (Détection Automatique de Comptes Troll Farm sur Twitter)
- Détection automatique de zones de textes sur des pièces d'identité + (Détection automatique de zones de textes sur des pièces d'identité)
- Détection de danger en milieu marin + (Détection de danger en milieu marin)
- Détection de danger en milieu marin, Création du dataset + (Détection de danger en milieu marin, Création du dataset)
- Détection de logotypes et autres invariants caractéristiques à l'aide de descripteurs SIFT + (Détection de logotypes et autres invariants caractéristiques à l'aide de descripteurs SIFT)
- Détection de logotypes et autres invariants caractéristiques + (Détection de logotypes et autres invariants caractéristiques)
- Détection de voix + (Détection de voix)
- Détection des comportements de botnets au travers d'un flux en réseau en utilisant des modèles de Markov cachés + (Détection des comportements de botnets au travers d'un flux en réseau en utilisant des modèles de Markov cachés)
- Développement d'une interface graphique pour Vaucanson + (Développement d'une interface graphique pour Vaucanson)
- Développement d'une interface graphique pour Vaucanson + (Développement d'une interface graphique pour Vaucanson)
- ENST-IRCGN System Description + (ENST-IRCGN System Description)
- ESDF: A proposal for a more flexible SDF handling + (ESDF: A proposal for a more flexible SDF handling)
- ETAP: Experimental Typesetting Algorithms Platform + (ETAP: Experimental Typesetting Algorithms Platform)
- Ecriture d'algorithmes de traitement d'images génériques + (Ecriture d'algorithmes de traitement d'images génériques)
- Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging + (Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging)
- Effective Reductions of Mealy Machines + (Effective Reductions of Mealy Machines)
- Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games + (Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games)
- Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations + (Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations)
- Efficient Dynamic Type Checking of Heterogeneous Sequences + (Efficient Dynamic Type Checking of Heterogeneous Sequences)
- Efficient Multiscale Sauvola's Binarization + (Efficient Multiscale Sauvola's Binarization)
- Efficient Transducer Composition in Vcsn + (Efficient Transducer Composition in Vcsn)
- Efficient Translation of Fairness LTL Formulae into Deterministic Automata + (Efficient Translation of Fairness LTL Formulae into Deterministic Automata)
- Efficient algorithmic methods for Nash equilibria computation + (Efficient algorithmic methods for Nash equilibria computation)
- Efficient algorithmic methods for Nash equilibria computation + (Efficient algorithmic methods for Nash equilibria computation)
- Efficient implementations of hierarchical morphological representations + (Efficient implementations of hierarchical morphological representations)
- Efficient removal of spontaneous transitions in Vcsn + (Efficient removal of spontaneous transitions in Vcsn)
- Electricity Price Forecasting on the Day-Ahead Market using Machine Learning + (Electricity Price Forecasting on the Day-Ahead Market using Machine Learning)
- Energy Problems in Finite and Timed Automata with Büchi Conditions + (Energy Problems in Finite and Timed Automata with Büchi Conditions)
- Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids + (Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids)
- Error correcting code performance for watermark protection + (Error correcting code performance for watermark protection)
- Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur + (Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur)