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
- 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)
- Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity + (Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity)
- Estimating the noise level function with the tree of shapes and non-parametric statistics + (Estimating the noise level function with the tree of shapes and non-parametric statistics)
- Estimation de la fonction de niveau de bruit dans des images naturelles en utilisant l'arbre des formes + (Estimation de la fonction de niveau de bruit dans des images naturelles en utilisant l'arbre des formes)
- Estimation de la fonction de niveau de bruit dans des images multivariées en utilisant l'arbre des formes et des statistiques non-paramétriques + (Estimation de la fonction de niveau de bruit dans des images multivariées en utilisant l'arbre des formes et des statistiques non-paramétriques)
- Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique + (Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique)
- Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques + (Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques)
- Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics + (Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics)
- Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics + (Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics)
- Estimation of the noise level function in natural images using the tree of shapes + (Estimation of the noise level function in natural images using the tree of shapes)
- Etude comparative d'invariants de forme pour la classification texte / non-texte + (Etude comparative d'invariants de forme pour la classification texte / non-texte)
- Etude de ConceptC++ et possible intégration dans SCOOP + (Etude de ConceptC++ et possible intégration dans SCOOP)
- Euler Well-Composedness + (Euler Well-Composedness)
- Evaluating complex MAC protocols for sensor networks with APMC + (Evaluating complex MAC protocols for sensor networks with APMC)
- Evaluation method of text detection algorithm rating + (Evaluation method of text detection algorithm rating)
- Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks + (Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks)
- Exact optimization of discrete constrained total variation minimization problems + (Exact optimization of discrete constrained total variation minimization problems)
- Exact optimization of discrete constrained total variation minimization problems + (Exact optimization of discrete constrained total variation minimization problems)
- Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) + (Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation))
- Explicit State Model Checking with Generalized Büchi and Rabin Automata + (Explicit State Model Checking with Generalized Büchi and Rabin Automata)
- Exploration d'espace d'état distribué + (Exploration d'espace d'état distribué)
- Exploring various implementations for goroutines support in go2pins + (Exploring various implementations for goroutines support in go2pins)
- Expression templates in Ada 95 + (Expression templates in Ada 95)
- Extending Testing Automata to All LTL + (Extending Testing Automata to All LTL)
- Extensible languages: blurring the distinction between DSLs and GPLs + (Extensible languages: blurring the distinction between DSLs and GPLs)
- Extraction de l'inverse video dans SCRIBO. + (Extraction de l'inverse video dans SCRIBO.)
- Extraction de texte avec des ondelettes + (Extraction de texte avec des ondelettes)
- Extraction of Ancient Map Contents Using Trees of Connected Components + (Extraction of Ancient Map Contents Using Trees of Connected Components)
- FOANet: A Focus of Attention Network with Application to Myocardium Segmentation + (FOANet: A Focus of Attention Network with Application to Myocardium Segmentation)
- FSMXML and its application in Vaucanson + (FSMXML and its application in Vaucanson)
- FSMXML et son utilisation dans Vaucanson + (FSMXML et son utilisation dans Vaucanson)
- FSMXML for Vaucanson 2.0 + (FSMXML for Vaucanson 2.0)
- FSMXML pour Vaucanson 2.0 + (FSMXML pour Vaucanson 2.0)
- Factor analysis based channel compensation in speaker verification + (Factor analysis based channel compensation in speaker verification)
- Factor analysis based channel compensation in speaker verification + (Factor analysis based channel compensation in speaker verification)
- Fast Image Registration + (Fast Image Registration)
- Fast Level Line Transform + (Fast Level Line Transform)
- Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF + (Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF)
- Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials + (Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials)
- Fast color image segmentation based on levellings in feature Space + (Fast color image segmentation based on levellings in feature Space)
- Fast reductions for ω-automaton + (Fast reductions for ω-automaton)
- Fast road network extraction in satellite images using mathematical morphology and Markov random fields + (Fast road network extraction in satellite images using mathematical morphology and Markov random fields)
- Fast simulation based reduction for ω-automaton + (Fast simulation based reduction for ω-automaton)
- Fast structure preserving inpainting + (Fast structure preserving inpainting)
- Featured Games + (Featured Games)
- Fictious Play + (Fictious Play)
- Filtrage à base de contours pour la segmentation d'images + (Filtrage à base de contours pour la segmentation d'images)
- Filtres connexes multivariés par fusion d'arbres de composantes + (Filtres connexes multivariés par fusion d'arbres de composantes)
- Finding Maximal Common Joins in a DAG + (Finding Maximal Common Joins in a DAG)
- Finding Short Synchronizing Words + (Finding Short Synchronizing Words)
- Finite Automata Theory Based Optimization of Conditional Variable Binding + (Finite Automata Theory Based Optimization of Conditional Variable Binding)
- First Attempt at Boltzmann Machines for Speaker Recognition + (First Attempt at Boltzmann Machines for Speaker Recognition)
- Forecasting Electricity Prices: An Optimize Then Predict-Based Approach + (Forecasting Electricity Prices: An Optimize Then Predict-Based Approach)
- Formal Definition of the Disambiguation with Attribute Grammars + (Formal Definition of the Disambiguation with Attribute Grammars)
- Formal Definition of the Disambiguation with Attribute Grammars + (Formal Definition of the Disambiguation with Attribute Grammars)
- From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning + (From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning)
- From Spot 2.0 to Spot 2.10: What's New? + (From Spot 2.0 to Spot 2.10: What's New?)
- From an expression to the original automaton + (From an expression to the original automaton)
- From an expression to the original automaton + (From an expression to the original automaton)
- From text detection to text segmentation: a unified evaluation scheme + (From text detection to text segmentation: a unified evaluation scheme)
- Front-End Factor Analysis For Speaker Verification + (Front-End Factor Analysis For Speaker Verification)
- Front-end Promela dans Spot + (Front-end Promela dans Spot)
- Full Covariance Matrices based Gaussian Mixture Models + (Full Covariance Matrices based Gaussian Mixture Models)
- Functionnal approach of image processing genericity + (Functionnal approach of image processing genericity)
- Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI + (Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI)
- GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification + (GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification)
- GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux + (GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux)
- Generalized Büchi Automata versus Testing Automata for Model Checking + (Generalized Büchi Automata versus Testing Automata for Model Checking)
- Generalized Linear Discriminant Sequence for Speaker Verification + (Generalized Linear Discriminant Sequence for Speaker Verification)
- Generic Emptiness Check for Fun and Profit + (Generic Emptiness Check for Fun and Profit)
- Generic Image Processing with Climb + (Generic Image Processing with Climb)
- Generic algorithmic blocks dedicated to image processing + (Generic algorithmic blocks dedicated to image processing)
- Generic design patterns in C++ + (Generic design patterns in C++)
- Generic epsilon-removal + (Generic epsilon-removal)
- Generic epsilon-removal + (Generic epsilon-removal)
- Generic implementation of morphological image operators + (Generic implementation of morphological image operators)
- Generic programming redesign of patterns + (Generic programming redesign of patterns)