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
- 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)
- Gestion des transitions blackbox dans go2pins + (Gestion des transitions blackbox dans go2pins)
- Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls + (Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls)
- Global Optimization for First Order Markov Random Fields with Submodular Priors + (Global Optimization for First Order Markov Random Fields with Submodular Priors)
- Go2Pins: A Framework for the LTL Verification of Go Programs + (Go2Pins: A Framework for the LTL Verification of Go Programs)
- Go2Pins: A framework for the LTL verification of Go programs (Extended Version) + (Go2Pins: A framework for the LTL verification of Go programs (Extended Version))
- Going beyond p-convolutions to learn grayscale morphological operators + (Going beyond p-convolutions to learn grayscale morphological operators)
- Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts + (Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts)
- Gradients Intégrés Renforcés + (Gradients Intégrés Renforcés)
- Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata + (Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata)
- Génération aléatoire d'automates et de chemins dans Vcsn + (Génération aléatoire d'automates et de chemins dans Vcsn)
- Génération aléatoire d'expression rationnelle + (Génération aléatoire d'expression rationnelle)
- Génération efficace de grands espaces d'états + (Génération efficace de grands espaces d'états)
- Généricité dynamique pour des algorithmes morphologiques + (Généricité dynamique pour des algorithmes morphologiques)
- Handling blackbox transitions in go2pins + (Handling blackbox transitions in go2pins)
- Hate Speech and Toxic Comment Detection using Transformers + (Hate Speech and Toxic Comment Detection using Transformers)
- Heuristics for Checking Liveness Properties with Partial Order Reductions + (Heuristics for Checking Liveness Properties with Partial Order Reductions)
- Hierarchical Segmentation Using Tree-Based Shape Spaces + (Hierarchical Segmentation Using Tree-Based Shape Spaces)
- Hierarchical Set Decision Diagrams and Automatic Saturation + (Hierarchical Set Decision Diagrams and Automatic Saturation)
- Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection + (Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection)
- Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection + (Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection)
- High Throughput Automated Detection of Axial Malformations in Medaka Embryo + (High Throughput Automated Detection of Axial Malformations in Medaka Embryo)
- High throughput automated detection of axial malformations in fish embryo + (High throughput automated detection of axial malformations in fish embryo)
- High-level Document Structure Analysis in the Olena Scribo Module + (High-level Document Structure Analysis in the Olena Scribo Module)
- Higher-Dimensional Timed and Hybrid Automata + (Higher-Dimensional Timed and Hybrid Automata)
- Histogrammes + (Histogrammes)
- Histograms + (Histograms)
- Hiérarchie par propriétés du module Algebra de Vaucanson + (Hiérarchie par propriétés du module Algebra de Vaucanson)
- Homolib + (Homolib)
- Homolib + (Homolib)
- 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)