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
- 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)