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
- How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions + (How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions)
- How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way + (How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way)
- How to Make nD Functions Digitally Well-Composed in a Self-Dual Way + (How to Make nD Functions Digitally Well-Composed in a Self-Dual Way)
- How to Make nD Images Well-Composed Without Interpolation + (How to Make nD Images Well-Composed Without Interpolation)
- How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education + (How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education)
- How to make Lisp go faster than C + (How to make Lisp go faster than C)
- How to make Lisp go faster than C + (How to make Lisp go faster than C)
- I-Vector Multilayer Perceptron in Speaker Recognition System + (I-Vector Multilayer Perceptron in Speaker Recognition System)
- I-Vectors distance learning with Convolutional Neural Networks + (I-Vectors distance learning with Convolutional Neural Networks)
- ICDAR 2021 Competition on Historical Map Segmentation + (ICDAR 2021 Competition on Historical Map Segmentation)
- IVector space mapping with Deep Neural Network + (IVector space mapping with Deep Neural Network)
- Identification Polynomiale des omega-Langages + (Identification Polynomiale des omega-Langages)
- Identification de Botnets à travers le réseau en utilisant les moèles de mélange gaussien + (Identification de Botnets à travers le réseau en utilisant les moèles de mélange gaussien)
- Identifying Botnets in the Network using Gaussian Mixture Models + (Identifying Botnets in the Network using Gaussian Mixture Models)
- Image processing for plots detection from ancient maps + (Image processing for plots detection from ancient maps)
- Image reconstruction + (Image reconstruction)
- Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case + (Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case)
- Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization + (Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization)
- Image taxonomy in Milena + (Image taxonomy in Milena)
- Image taxonomy in Olena + (Image taxonomy in Olena)
- Image taxonomy in Olena + (Image taxonomy in Olena)
- Images taxonomy and modeling + (Images taxonomy and modeling)
- Images taxonomy and modeling + (Images taxonomy and modeling)
- Implementation Concepts in Vaucanson 2 + (Implementation Concepts in Vaucanson 2)
- Implementation of Invisible and Transparent Transitions in Spot + (Implementation of Invisible and Transparent Transitions in Spot)
- Implementation of transducers in Vaucanson + (Implementation of transducers in Vaucanson)
- Implementation of transducers in Vaucanson + (Implementation of transducers in Vaucanson)
- Implementations efficaces des representations hierarchiques morphologiques + (Implementations efficaces des representations hierarchiques morphologiques)
- Implementing Baker's SUBTYPEP decision procedure + (Implementing Baker's SUBTYPEP decision procedure)
- Implementing Baker's SUBTYPEP decision procedure + (Implementing Baker's SUBTYPEP decision procedure)
- Implementing Baker's SUBTYPEP decision procedure + (Implementing Baker's SUBTYPEP decision procedure)
- Implementing a C++ extension with Transformers: class namespace + (Implementing a C++ extension with Transformers: class namespace)
- Implementing attributes in SDF + (Implementing attributes in SDF)
- Implementing rational semiring + (Implementing rational semiring)
- Implémentation d'une extension du C++ dans Transformers: class namespace + (Implémentation d'une extension du C++ dans Transformers: class namespace)
- Implémentation de l'algorithme de SUBTYPEP de Baker + (Implémentation de l'algorithme de SUBTYPEP de Baker)
- Implémentation de l'algorithme de SUBTYPEP de Baker + (Implémentation de l'algorithme de SUBTYPEP de Baker)
- Implémentation des transitions invisibles et transparentes dans Spot + (Implémentation des transitions invisibles et transparentes dans Spot)
- Implémentation du corps des (nombres) rationnels + (Implémentation du corps des (nombres) rationnels)
- Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms + (Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms)
- Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms + (Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms)
- Improvements of Simulation-based Reduction + (Improvements of Simulation-based Reduction)
- Improving Horn-Schunck + (Improving Horn-Schunck)
- Improving OCR k-NN classifier's training set + (Improving OCR k-NN classifier's training set)
- Improving Parallel State-Space Exploration Using Genetic Algorithms + (Improving Parallel State-Space Exploration Using Genetic Algorithms)
- Improving Vaucanson's design + (Improving Vaucanson's design)
- Improving Vaucanson's transducers composition algorithm + (Improving Vaucanson's transducers composition algorithm)
- Improving degeneralization in Spot + (Improving degeneralization in Spot)
- Improving swarming using genetic algorithms + (Improving swarming using genetic algorithms)
- Improving the Model Checking of Stutter-Invariant LTL Properties + (Improving the Model Checking of Stutter-Invariant LTL Properties)
- Improving the Quality of Rule-Based GNN Explanations + (Improving the Quality of Rule-Based GNN Explanations)
- Improving the determinization of Büchi automata + (Improving the determinization of Büchi automata)
- In Pursuit of the Hidden Features of GNN's Internal Representations + (In Pursuit of the Hidden Features of GNN's Internal Representations)
- Inpainting rapide préservant la structure + (Inpainting rapide préservant la structure)
- Inpainting variationnel par combinaison d'invariants + (Inpainting variationnel par combinaison d'invariants)
- Inside Vaucanson + (Inside Vaucanson)
- Integrating Mathematical Morphology within Deep Convolutional Neural Networks + (Integrating Mathematical Morphology within Deep Convolutional Neural Networks)
- Integrating modern parallel techniques in the Tiger compiler + (Integrating modern parallel techniques in the Tiger compiler)
- Integration of Morphological Operators in Neural Networks + (Integration of Morphological Operators in Neural Networks)
- Integration of TChecker in Spot + (Integration of TChecker in Spot)
- Integration of histograms in the NL-Mean algorithm for image denoising. + (Integration of histograms in the NL-Mean algorithm for image denoising.)
- Interface graphique de Vaucanson + (Interface graphique de Vaucanson)
- Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach + (Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach)
- Introducing Multivariate Connected Openings and Closings + (Introducing Multivariate Connected Openings and Closings)
- Introducing Vaucanson + (Introducing Vaucanson)
- Introducing Vaucanson + (Introducing Vaucanson)
- Introducing the Boundary-Aware Loss for Deep Image Segmentation + (Introducing the Boundary-Aware Loss for Deep Image Segmentation)
- Introducing the Dahu Pseudo-Distance + (Introducing the Dahu Pseudo-Distance)
- Introduction to the Special Issue on Distributed Hybrid Systems + (Introduction to the Special Issue on Distributed Hybrid Systems)
- Intégration d'histogrammes dans l'algorithme NL-Mean pour le débruitage d'images + (Intégration d'histogrammes dans l'algorithme NL-Mean pour le débruitage d'images)
- Intégration de TChecker dans Spot + (Intégration de TChecker dans Spot)
- Intégration de la Morphologie Mathématique dans les Réseaux Neuronaux Profonds + (Intégration de la Morphologie Mathématique dans les Réseaux Neuronaux Profonds)
- Intégration de techniques de parallélisation dans le compilateur Tiger + (Intégration de techniques de parallélisation dans le compilateur Tiger)
- Inverse Video extraction in Scribo + (Inverse Video extraction in Scribo)
- Inégration des Opérateurs de la Morphologie Mathématique dans des Réseaux de Neurones + (Inégration des Opérateurs de la Morphologie Mathématique dans des Réseaux de Neurones)
- Is There a Best Büchi Automaton for Explicit Model Checking? + (Is There a Best Büchi Automaton for Explicit Model Checking?)
- JSPP: Morphing C++ into JavaScript + (JSPP: Morphing C++ into JavaScript)
- K plus courts chemins dans Vcsn + (K plus courts chemins dans Vcsn)
- K plus courts chemins dans Vcsn + (K plus courts chemins dans Vcsn)
- K shortest-paths in Vcsn + (K shortest-paths in Vcsn)
- K shortest-paths in Vcsn + (K shortest-paths in Vcsn)
- Kernel Combination for SVM Speaker Verification + (Kernel Combination for SVM Speaker Verification)
- L'Arbre de partition binaire pour le traitement d'images + (L'Arbre de partition binaire pour le traitement d'images)
- L'algorithme Union-Find de Tarjan et les filtres connectès + (L'algorithme Union-Find de Tarjan et les filtres connectès)
- L'algorithme de Partitionnement de Markov pour le Système Supervisé de Vérification du Locuteur + (L'algorithme de Partitionnement de Markov pour le Système Supervisé de Vérification du Locuteur)
- LRDE Speaker Recognition System for NIST-SRE 2010 + (LRDE Speaker Recognition System for NIST-SRE 2010)
- LRDE System description + (LRDE System description)
- LRDE's Speaker Verification Framework + (LRDE's Speaker Verification Framework)
- LRDE's Speaker Verification Framework + (LRDE's Speaker Verification Framework)
- LTL Model Checking for Communicating Concurrent Programs + (LTL Model Checking for Communicating Concurrent Programs)
- LTL Model Checking with Neco + (LTL Model Checking with Neco)
- LTL Synthesis with Spot + (LTL Synthesis with Spot)
- LTL Translation Improvements in Spot + (LTL Translation Improvements in Spot)
- LTL Translation Improvements in Spot 1.0 + (LTL Translation Improvements in Spot 1.0)
- LTL under reductions with weaker conditions than stutter invariance + (LTL under reductions with weaker conditions than stutter invariance)
- La Segmentation du Locuteur Basée sur les Coefficients Cepstraux sur l'échelle de Mel + (La Segmentation du Locuteur Basée sur les Coefficients Cepstraux sur l'échelle de Mel)
- La Segmentation du Locuteur basée sur l'Analyse en Composantes Indépendantes + (La Segmentation du Locuteur basée sur l'Analyse en Composantes Indépendantes)
- La complémentation d'automates de Büchi + (La complémentation d'automates de Büchi)
- La complémentation d'automates de Büchi à travers des automates alternants + (La complémentation d'automates de Büchi à travers des automates alternants)
- La généricité par propriétés + (La généricité par propriétés)
- La programmation orientée contexte appliquée au traitement d'images + (La programmation orientée contexte appliquée au traitement d'images)