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
- Detecting danger in marine environment: Part 1 - Making the dataset + (Detecting danger in marine environment: Part 1 - Making the dataset)
- Detecting danger in marine environnement + (Detecting danger in marine environnement)
- Direct-Simulation Reduction for TGBA + (Direct-Simulation Reduction for TGBA)
- Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery + (Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery)
- Discrete Morse Functions and Watersheds + (Discrete Morse Functions and Watersheds)
- Discrete set-valued continuity and interpolation + (Discrete set-valued continuity and interpolation)
- Discrimination supervisé de caractères sur des images + (Discrimination supervisé de caractères sur des images)
- Dispatch par propriétés dans les langages fonctionnels + (Dispatch par propriétés dans les langages fonctionnels)
- Distance Transform + (Distance Transform)
- Distance Transform + (Distance Transform)
- 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)