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
- 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)
- 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)
- 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)
- 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)
- La pseudo-distance du dahu + (La pseudo-distance du dahu)
- Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning + (Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning)
- Language Recognition via I-Vectors and Dimensionality Reduction + (Language Recognition via I-Vectors and Dimensionality Reduction)
- Le support des automates alternants + (Le support des automates alternants)
- Learning Diversity Attributes in Multi-Session Recommendations + (Learning Diversity Attributes in Multi-Session Recommendations)
- Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation + (Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation)
- Learning Grayscale Mathematical Morphology with Smooth Morphological Layers + (Learning Grayscale Mathematical Morphology with Smooth Morphological Layers)
- Learning Morphological Operations + (Learning Morphological Operations)
- Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks + (Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks)
- Learning models for model-checking + (Learning models for model-checking)
- Learning models for model-checking + (Learning models for model-checking)
- Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning + (Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning)
- Les Machines de Boltzmann dans la reconnaissance du locuteur + (Les Machines de Boltzmann dans la reconnaissance du locuteur)
- Les arbres de composantes dans Milena + (Les arbres de composantes dans Milena)
- Les automates en traitement automatique des langues naturelles + (Les automates en traitement automatique des langues naturelles)
- Les propriétés dans Milena + (Les propriétés dans Milena)
- Les relations synchrones dans Vaucanson + (Les relations synchrones dans Vaucanson)
- Les types de couleur dans Milena + (Les types de couleur dans Milena)
- Ligne de partage des eaux topologique + (Ligne de partage des eaux topologique)
- Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification + (Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification)
- Lisp, Jazz, Aikido + (Lisp, Jazz, Aikido)
- Local Intensity Order Transformation for Robust Curvilinear Object Segmentation + (Local Intensity Order Transformation for Robust Curvilinear Object Segmentation)
- Local channel compensated method in Speaker Recognition System + (Local channel compensated method in Speaker Recognition System)
- Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation + (Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation)
- Logotypes detection and other characteristics invariants using SIFT descriptors + (Logotypes detection and other characteristics invariants using SIFT descriptors)
- Logotypes detection and other characteristic invariants + (Logotypes detection and other characteristic invariants)
- Loss functions benchmark for brain tumour segmentation + (Loss functions benchmark for brain tumour segmentation)
- MITLL 2012 Speaker Recognition Evaluation System Description + (MITLL 2012 Speaker Recognition Evaluation System Description)
- MToS: A Tree of Shapes for Multivariate Images + (MToS: A Tree of Shapes for Multivariate Images)
- Maintenance automatique des symboles exportés dans les packages de Common Lisp + (Maintenance automatique des symboles exportés dans les packages de Common Lisp)
- Making Compiler Construction Projects Relevant to Core Curriculums + (Making Compiler Construction Projects Relevant to Core Curriculums)
- Manipulating LTL formulas using Spot 1.0 + (Manipulating LTL formulas using Spot 1.0)
- Mappage d'espace d'ivecteur à l'aide d'un réseau neuronal profond + (Mappage d'espace d'ivecteur à l'aide d'un réseau neuronal profond)
- Markov Clustering Algorithm for Unsupervised Speaker Recognition System + (Markov Clustering Algorithm for Unsupervised Speaker Recognition System)
- Mathematical morphology and deep convolutional neural networks + (Mathematical morphology and deep convolutional neural networks)
- Max-Tree Computation on GPUs + (Max-Tree Computation on GPUs)
- Meaningful disjoint level lines selection + (Meaningful disjoint level lines selection)
- Mechanizing the Minimization of Deterministic Generalized Büchi Automata + (Mechanizing the Minimization of Deterministic Generalized Büchi Automata)
- Mesures sur la réduction d'ordre partiel dans Spot + (Mesures sur la réduction d'ordre partiel dans Spot)
- Metagene, a C++ meta-program generation tool + (Metagene, a C++ meta-program generation tool)
- Method Combinators + (Method Combinators)
- Methods for Explaining Top-N Recommendations Through Subgroup Discovery + (Methods for Explaining Top-N Recommendations Through Subgroup Discovery)
- Metric Learning using a Siamese Deep Neural Network + (Metric Learning using a Siamese Deep Neural Network)
- Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images + (Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images)
- Minimisation d'automates représentant des obligations + (Minimisation d'automates représentant des obligations)
- Minimization of automata representing obligation formulae + (Minimization of automata representing obligation formulae)
- Model Checking using Generalized Testing Automata + (Model Checking using Generalized Testing Automata)
- Model checking with generalized Rabin and Fin-less automata + (Model checking with generalized Rabin and Fin-less automata)
- Model classification in model checking using random forest + (Model classification in model checking using random forest)
- Modeling of Sensor Networks Using XRM + (Modeling of Sensor Networks Using XRM)
- Modelling and Identifying Troll Farm Accounts on Twitter + (Modelling and Identifying Troll Farm Accounts on Twitter)
- Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) + (Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950))
- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework + (Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework)
- Modèle du monde à base de réseaux de neurones à délai temporel pour la reconnaissance du locuteur + (Modèle du monde à base de réseaux de neurones à délai temporel pour la reconnaissance du locuteur)
- Modèles de mélanges de gaussiennes fondés sur des matrices de covariance pleines + (Modèles de mélanges de gaussiennes fondés sur des matrices de covariance pleines)
- Modélisation et Identification des Troll Farmers sur Twitter + (Modélisation et Identification des Troll Farmers sur Twitter)
- Monads in Common Lisp + (Monads in Common Lisp)
- Morphological Analysis of Brownian Motion for Physical Measurements + (Morphological Analysis of Brownian Motion for Physical Measurements)
- Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations + (Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations)
- Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings + (Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings)
- Morphological Object Picking Based on the Color Tree of Shapes + (Morphological Object Picking Based on the Color Tree of Shapes)
- Morphologie et algorithmes + (Morphologie et algorithmes)
- Morphologie mathématique et réseaux convolutionnels profonds + (Morphologie mathématique et réseaux convolutionnels profonds)
- Morphologie sur images couleur + (Morphologie sur images couleur)
- Morphology on color images + (Morphology on color images)
- Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images + (Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images)
- Morse-Smale Complex computation with Watershed Cut + (Morse-Smale Complex computation with Watershed Cut)
- Motion Compensation in Digital Holography for Retinal Imaging + (Motion Compensation in Digital Holography for Retinal Imaging)
- Motion compensation based on Tangent Distance prediction for video compression + (Motion compensation based on Tangent Distance prediction for video compression)
- Multi-band segmentation using morphological clustering and fusion application to color image segmentation + (Multi-band segmentation using morphological clustering and fusion application to color image segmentation)
- Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor + (Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor)
- Mécanique de Vaucanson 2.0 + (Mécanique de Vaucanson 2.0)
- Méthode d'évaluation d'évaluateur d'algorithme de détection de texte + (Méthode d'évaluation d'évaluateur d'algorithme de détection de texte)
- Méthodes de réduction par ordre partiel adaptatives. + (Méthodes de réduction par ordre partiel adaptatives.)
- Méthodes de réduction par ordre partiel dans Spot + (Méthodes de réduction par ordre partiel dans Spot)
- New Security Protocols for Offline Point-of-Sale Machines + (New Security Protocols for Offline Point-of-Sale Machines)
- New ways to use the Vcsn's Jupyter interface. + (New ways to use the Vcsn's Jupyter interface.)
- NixOS: A purely functional Linux distribution + (NixOS: A purely functional Linux distribution)
- Non-iterative methods for image improvement in digital holography of the retina + (Non-iterative methods for image improvement in digital holography of the retina)
- Nondeterminisation of alternating automata in SPOT + (Nondeterminisation of alternating automata in SPOT)
- Nondéterminisation d'automates alternants dans SPOT + (Nondéterminisation d'automates alternants dans SPOT)
- Nonlinear Projection for Cosine Distance Scoring in I-Vector based Speaker Verification Systems. + (Nonlinear Projection for Cosine Distance Scoring in I-Vector based Speaker Verification Systems.)
- Nouvelle traduction de LTL en TGBA dans Spot + (Nouvelle traduction de LTL en TGBA dans Spot)
- Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking + (Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking)
- Obtaining genericity for image processing and pattern recognition algorithms + (Obtaining genericity for image processing and pattern recognition algorithms)
- Olena Project poster + (Olena Project poster)
- Olena: a component-based platform for image processingmixing generic, generative and OO programming + (Olena: a component-based platform for image processingmixing generic, generative and OO programming)
- On GNN Explainability with Activation Rules + (On GNN Explainability with Activation Rules)
- On Making nD Images Well-Composed by a Self-Dual Local Interpolation + (On Making nD Images Well-Composed by a Self-Dual Local Interpolation)
- On Refinement of Büchi Automata for Explicit Model Checking + (On Refinement of Büchi Automata for Explicit Model Checking)
- On Robustness for the Skolem and Positivity Problems + (On Robustness for the Skolem and Positivity Problems)
- On Some Associations Between Mathematical Morphology and Artificial Intelligence + (On Some Associations Between Mathematical Morphology and Artificial Intelligence)
- On a Polynomial Vector Field Model for Shape Representation + (On a Polynomial Vector Field Model for Shape Representation)
- On coercion in Context-Oriented Programming + (On coercion in Context-Oriented Programming)
- On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson + (On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson)
- On the Usefulness of Clause Strengthening in Parallel SAT Solving + (On the Usefulness of Clause Strengthening in Parallel SAT Solving)
- On the security of quantum networks: a proposal framework and its capacity + (On the security of quantum networks: a proposal framework and its capacity)
- On-the-fly Emptiness Check of Transition-based Streett Automata + (On-the-fly Emptiness Check of Transition-based Streett Automata)
- One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures + (One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures)
- Optimisation d'une bibliothèque de traitement d'images + (Optimisation d'une bibliothèque de traitement d'images)
- Optimisation en Common Lisp et son application à Climb + (Optimisation en Common Lisp et son application à Climb)
- Optimisations dans le compilateur Tiger + (Optimisations dans le compilateur Tiger)
- Optimization in Common Lisp, and its application to Climb + (Optimization in Common Lisp, and its application to Climb)
- Optimization of an image processing library + (Optimization of an image processing library)
- Optimization of the Product Configuration System of Renault + (Optimization of the Product Configuration System of Renault)
- Optimizations in the Tiger Compiler + (Optimizations in the Tiger Compiler)
- Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes + (Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes)
- Outils pour la dématérialisation dans SCRIBO + (Outils pour la dématérialisation dans SCRIBO)
- PAIP 2019: Liver Cancer Segmentation Challenge + (PAIP 2019: Liver Cancer Segmentation Challenge)
- PaInleSS: a Framework for Parallel SAT Solving + (PaInleSS: a Framework for Parallel SAT Solving)
- Parallel Climb + (Parallel Climb)
- Parallel Computation of Component Trees on Distributed Memory Machines + (Parallel Computation of Component Trees on Distributed Memory Machines)
- Parallel Explicit Model Checking for Generalized Büchi Automata + (Parallel Explicit Model Checking for Generalized Büchi Automata)
- Parallel Learning Portfolio-Based Solvers + (Parallel Learning Portfolio-Based Solvers)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic + (Parallel Model Checking Algorithms for Linear-Time Temporal Logic)
- Parallel Satisfiability Solver Based on Hybrid Partitioning Method + (Parallel Satisfiability Solver Based on Hybrid Partitioning Method)
- Parallel approach for the computation of the tree of shapes on n-dimensional images + (Parallel approach for the computation of the tree of shapes on n-dimensional images)
- Parallelism and Indexation in Quickref + (Parallelism and Indexation in Quickref)
- Parallelization in a generic image processing library + (Parallelization in a generic image processing library)
- Parallelizing Quickref + (Parallelizing Quickref)
- Parallélisation dans une bibliothèque de traitement d'images générique + (Parallélisation dans une bibliothèque de traitement d'images générique)
- Parallélisation de Climb + (Parallélisation de Climb)
- Parallélisation et Indexation de Quickref + (Parallélisation et Indexation de Quickref)
- Parser d'expressions rationnelles + (Parser d'expressions rationnelles)
- Parsing with Transformers + (Parsing with Transformers)
- Parsing with Transformers + (Parsing with Transformers)
- Partial order reduction in SPOT + (Partial order reduction in SPOT)
- Partial order reduction methods for Spot + (Partial order reduction methods for Spot)
- Performance Comparison of Several Folding Strategies + (Performance Comparison of Several Folding Strategies)
- Periodic Area-of-Motion characterization for Bio-Medical applications + (Periodic Area-of-Motion characterization for Bio-Medical applications)
- Person authentication based on hand shape + (Person authentication based on hand shape)
- Resources for the DAS 2014 submission + (Planting, Growing and Pruning Trees: Connected Filters Applied to Document Image Analysis)
- Polar type inference with intersection types and ω + (Polar type inference with intersection types and ω)
- Polynomial Identification of omega-Language + (Polynomial Identification of omega-Language)