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
- Compensation d'i-vecteur spécifique aux locuteurs dans la reconnaissance du locuteur + (Compensation d'i-vecteur spécifique aux locuteurs dans la reconnaissance du locuteur)
- Compensation locale du canal dans les systèmes de reconnaissance du locuteur + (Compensation locale du canal dans les systèmes de reconnaissance du locuteur)
- Compiler Construction as an Effective Application to Teach Object-Oriented Programming + (Compiler Construction as an Effective Application to Teach Object-Oriented Programming)
- Complementing Büchi Automata + (Complementing Büchi Automata)
- Complementing Büchi Automata With Alternating Automata + (Complementing Büchi Automata With Alternating Automata)
- Component Trees and Chaining Operators in Climb + (Component Trees and Chaining Operators in Climb)
- Component trees in Milena + (Component trees in Milena)
- Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images + (Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images)
- Composition Efficace de Transducteurs dans Vcsn + (Composition Efficace de Transducteurs dans Vcsn)
- Composition de transducteur dans Vaucanson 2 + (Composition de transducteur dans Vaucanson 2)
- Compositional Approach to Suspension and Other Improvements to LTL Translation + (Compositional Approach to Suspension and Other Improvements to LTL Translation)
- Compression d'états dans Spot + (Compression d'états dans Spot)
- Computing the optical flow in sequences with missing parts + (Computing the optical flow in sequences with missing parts)
- Computing the regular language recognized by a finite automaton + (Computing the regular language recognized by a finite automaton)
- Computing the regular language recognized by a finite automaton + (Computing the regular language recognized by a finite automaton)
- ConceptC++ study and possible integration in SCOOP + (ConceptC++ study and possible integration in SCOOP)
- Conception of a static oriented language: an overview of Scool + (Conception of a static oriented language: an overview of Scool)
- Conception of a static oriented language: an overview of Scool + (Conception of a static oriented language: an overview of Scool)
- Concevoir l'interface d'une bibliothèque générique en Common Lisp + (Concevoir l'interface d'une bibliothèque générique en Common Lisp)
- Connected Filtering on Tree-Based Shape-Spaces + (Connected Filtering on Tree-Based Shape-Spaces)
- Connected Filters on Generalized Shape-Spaces + (Connected Filters on Generalized Shape-Spaces)
- Constructing a braid of partitions from hierarchies of partitions + (Constructing a braid of partitions from hierarchies of partitions)
- Construction d'une interface pour et avec Climb + (Construction d'une interface pour et avec Climb)
- Construire un perceptron quantique + (Construire un perceptron quantique)
- Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes + (Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes)
- Context-Oriented Image Processing + (Context-Oriented Image Processing)
- Context-oriented programming applied to image processing + (Context-oriented programming applied to image processing)
- Continuous Well-Composedness implies Digital Well-Composedness in n-D + (Continuous Well-Composedness implies Digital Well-Composedness in n-D)
- Contribution aux tests de vacuité pour le model checking explicite + (Contribution aux tests de vacuité pour le model checking explicite)
- Contribution to dyn:: + (Contribution to dyn::)
- Contribution à dyn:: + (Contribution à dyn::)
- Contributions to LTL and ω-Automata for Model Checking + (Contributions to LTL and ω-Automata for Model Checking)
- Cosine Similarity Scoring without Score Normalization Techniques + (Cosine Similarity Scoring without Score Normalization Techniques)
- CosySEL: Improving SAT Solving Using Local Symmetries + (CosySEL: Improving SAT Solving Using Local Symmetries)
- Counterexample searches in Spot + (Counterexample searches in Spot)
- Cover automata for finite languages + (Cover automata for finite languages)
- Cover automata for finite languages + (Cover automata for finite languages)
- Creation of an antichain library + (Creation of an antichain library)
- Création d'un lien entre une bibliothèque de traitement d'image en C++ hautes performances vers Python + (Création d'un lien entre une bibliothèque de traitement d'image en C++ hautes performances vers Python)
- Création d'une bibliothèque d'antichaîne + (Création d'une bibliothèque d'antichaîne)
- Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey + (Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey)
- De nouvelles fac cons d'utiliser l'interface Jupyter. + (De nouvelles fac cons d'utiliser l'interface Jupyter.)
- Debug Packages in OpenBSD + (Debug Packages in OpenBSD)
- Deciding Persistence or Recurrence Membership in Spot + (Deciding Persistence or Recurrence Membership in Spot)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy)
- Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina + (Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina)
- Dematerialization Tools in SCRIBO + (Dematerialization Tools in SCRIBO)
- Derived-Term Automata of Multitape Expressions with Composition + (Derived-Term Automata of Multitape Expressions with Composition)
- Derived-Term Automata of Multitape Rational Expressions + (Derived-Term Automata of Multitape Rational Expressions)
- Derived-Term Automata of Weighted Rational Expressions with Quotient Operators + (Derived-Term Automata of Weighted Rational Expressions with Quotient Operators)
- Derived-term Automata for Extended Weighted Rational Expressions + (Derived-term Automata for Extended Weighted Rational Expressions)
- Designing the user interface for a Common Lisp generic library + (Designing the user interface for a Common Lisp generic library)
- Detecting Botnets Behaviors over Network Flows using Hidden Markov Models + (Detecting Botnets Behaviors over Network Flows using Hidden Markov Models)
- 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)