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
- 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)
- CLIMB: Une approche dynamique du traitement générique d'images + (CLIMB: Une approche dynamique du traitement générique d'images)
- CLOS Efficiency: Instantiation + (CLOS Efficiency: Instantiation)
- CLOS solutions to binary methods + (CLOS solutions to binary methods)
- CLoX: Common Lisp objects for XEmacs + (CLoX: Common Lisp objects for XEmacs)
- Calcul de distance par un rśeau de neurones profond siamois + (Calcul de distance par un rśeau de neurones profond siamois)
- Calcul du Complexe de Morse-Smale à l'aide de coupe de ligne de partage des eaux + (Calcul du Complexe de Morse-Smale à l'aide de coupe de ligne de partage des eaux)
- Calcul du flux optique dans des séquences avec des parties manquantes + (Calcul du flux optique dans des séquences avec des parties manquantes)
- Canvas in Morphological Algorithms + (Canvas in Morphological Algorithms)
- Canvas in Morphological Algorithms + (Canvas in Morphological Algorithms)
- Canvas in Olena + (Canvas in Olena)
- Canvas in Olena + (Canvas in Olena)
- Caractérisation des zones de mouvement périodiques pour applications bio-médicales + (Caractérisation des zones de mouvement périodiques pour applications bio-médicales)
- Catoids and Modal Convolution Algebras + (Catoids and Modal Convolution Algebras)
- Centaur : Une infrastructure générique simplifiant les transformations de C++ + (Centaur : Une infrastructure générique simplifiant les transformations de C++)
- Centaur: A generic framework simplifying C++ transformation + (Centaur: A generic framework simplifying C++ transformation)
- Cepstral and Long-Term Features for Emotion Recognition + (Cepstral and Long-Term Features for Emotion Recognition)
- Classes, Styles, Conflicts: the Biological Realm of LaTeX + (Classes, Styles, Conflicts: the Biological Realm of LaTeX)
- Climb: Implémentation de voisinage pondérés + (Climb: Implémentation de voisinage pondérés)
- Climb: Weighted Neighborhood Implementation + (Climb: Weighted Neighborhood Implementation)
- Coercition et programmation orientée contexte + (Coercition et programmation orientée contexte)
- Color image segmentation based on automatic morphological clustering + (Color image segmentation based on automatic morphological clustering)
- Color types in Milena + (Color types in Milena)
- Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation + (Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation)
- Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking + (Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking)
- Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata + (Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata)
- Combining Parallel Emptiness Checks with Partial Order Reductions + (Combining Parallel Emptiness Checks with Partial Order Reductions)
- Comment implémenter le support des goroutines dans go2pins + (Comment implémenter le support des goroutines dans go2pins)
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving + (Community and LBD-based Clause Sharing Policy for Parallel SAT Solving)
- Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle + (Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle)
- Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map + (Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map)
- Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification + (Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification)
- 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)