Has title
From LRDE
A
Analyse structurelle haut-niveau de document dans le module Scribo d'Olena +
Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set +
Analysis of the Vaucanson project +
Analysis of the Vaucanson project +
Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks +
Applying generic programming to image processing +
Apprentissage d'Opérations Morphologiques +
Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution +
Approaches in Typecase Optimization +
Approche fonctionnelle de la généricité du traitement d'image +
Approche parallèle pour le calcul de l'arbre des formes en n-dimensions +
Approximate Nash Equilibria for Multi-Player Games +
Approximate Probabilistic Model Checking for Programs +
Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur +
Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur +
Aprentissage Actif d'Automates Visiblement á un compteur +
Arbres de composantes et opérateurs de chaînage +
Artificial states generation in state spaces using kernel density estimation +
Artificial states generation in state spaces using kernel density estimation +
Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information +
Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information +
Attribute Grammars for Modular Disambiguation +
Attribute grammars for C++ disambiguation +
Attribute grammars for C++ disambiguation +
Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness +
Automata Reduction +
Automata in Natural Language Processing +
Automatic Attribute Propagation for Modular Attribute Grammars +
Automatic Attribute Propagation for Modular Attribute Grammars +
Automatic Heart Segmentation +
Automatic detection of text zones on identity documents. +
Automatic maintenance of exported symbols in Common Lisp packages +
Automatic segmentation of Cassini's maps +
Automatic troll farm account detection on Twitter +
Automatically Guided Selection of a Set of Underwater Calibration Images +
Automation of Binary Analysis: From Open Source Collection to Threat Intelligence +
Avancées vers Vaucanson 1.4 et 2.0 +
B
Banc d'essai de fonctions de coûts appliquées á la segmentation de tumeurs cérébrales +
Beating C in Scientific Computing Applications +
Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge +
Benchmarking Keypoint Filtering Approaches for Document Image Matching +
Benchmarking Vaucanson and large C++ libraries +
Benchmarking of Partial Order Reduction in Spot +
Binary Methods Programming: the CLOS Perspective +
Binary Methods Programming: the CLOS Perspective (extended version) +
Binary Partition Tree for Image Processing +
Binding a high-performance C++ image processing library to Python +
Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them +
Bisimulation-based Reductions on TGBA +
Blockchain-Based Solution for Detecting and Preventing Fake Check Scams +
Boltzmann Machine in speaker verification +
Booster la généricité de Vaucanson +
Booster les itérateurs de Vaucanson +
Boosting Vaucanson +
Boosting Vaucanson +
Boosting Vaucanson's Iterator +
Boosting Vaucanson's genericity +
Bottleneck neural networks for Speaker Recognition +
Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images +
Brain MRI Segmentation using fully convolutional network +
Brain MRI segmentation using mathematical morphology +
Brain Tumor Segmentation with deep convolutional network approach +
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation +
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation +
Building LTL Model Checkers using Transition-based Generalized Büchi Automata +
Building a quantum perceptron +
Building an interface for and with Climb +
C
C++ Program Slicing with Transformers +
C++ Transformations panorama +
C++ Transformations panorama +
C++ container library with the SCOOP paradigm +
C++ container library with the SCOOP paradigm +
C++ template disambiguation with Transformers Attribute Grammars +
C++ type-checking: A study of existing solutions +
C++ type-checking: A study of existing solutions +
C-Transformers — A Framework to Write C Program Transformations +
C/C++ Disambiguation Using Attribute Grammars +
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving +
CLIMB: A Dynamic Approach To Generic Image Processing +
CLIMB: Une approche dynamique du traitement générique d'images +
CLOS Efficiency: Instantiation +
CLOS solutions to binary methods +
CLoX: Common Lisp objects for XEmacs +
Calcul de distance par un rśeau de neurones profond siamois +
Calcul du Complexe de Morse-Smale à l'aide de coupe de ligne de partage des eaux +
Calcul du flux optique dans des séquences avec des parties manquantes +
Canvas in Morphological Algorithms +
Canvas in Morphological Algorithms +
Canvas in Olena +
Canvas in Olena +
Caractérisation des zones de mouvement périodiques pour applications bio-médicales +
Catoids and Modal Convolution Algebras +
Centaur : Une infrastructure générique simplifiant les transformations de C++ +
Centaur: A generic framework simplifying C++ transformation +
Cepstral and Long-Term Features for Emotion Recognition +
Classes, Styles, Conflicts: the Biological Realm of LaTeX +
Climb: Implémentation de voisinage pondérés +
Climb: Weighted Neighborhood Implementation +
Coercition et programmation orientée contexte +
Color image segmentation based on automatic morphological clustering +
Color types in Milena +
Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation +
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking +
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata +
Combining Parallel Emptiness Checks with Partial Order Reductions +
Comment implémenter le support des goroutines dans go2pins +
Community and LBD-based Clause Sharing Policy for Parallel SAT Solving +
Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle +
Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle +
Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map +
Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification +
Compensation d'i-vecteur spécifique aux locuteurs dans la reconnaissance du locuteur +
Compensation locale du canal dans les systèmes de reconnaissance du locuteur +
Compiler Construction as an Effective Application to Teach Object-Oriented Programming +
Complementing Büchi Automata +
Complementing Büchi Automata With Alternating Automata +
Component Trees and Chaining Operators in Climb +
Component trees in Milena +
Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images +
Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images +
Composition Efficace de Transducteurs dans Vcsn +
Composition de transducteur dans Vaucanson 2 +
Compositional Approach to Suspension and Other Improvements to LTL Translation +
Compression d'états dans Spot +
Computing the optical flow in sequences with missing parts +
Computing the regular language recognized by a finite automaton +
Computing the regular language recognized by a finite automaton +
ConceptC++ study and possible integration in SCOOP +
Conception of a static oriented language: an overview of Scool +
Conception of a static oriented language: an overview of Scool +
Concevoir l'interface d'une bibliothèque générique en Common Lisp +
Connected Filtering on Tree-Based Shape-Spaces +
Connected Filters on Generalized Shape-Spaces +
Constructing a braid of partitions from hierarchies of partitions +
Construction d'une interface pour et avec Climb +
Construire un perceptron quantique +
Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes +
Context-Oriented Image Processing +
Context-oriented programming applied to image processing +
Continuous Well-Composedness implies Digital Well-Composedness in n-D +
Contribution aux tests de vacuité pour le model checking explicite +
Contribution to dyn:: +
Contribution à dyn:: +
Contributions to LTL and ω-Automata for Model Checking +
Cosine Similarity Scoring without Score Normalization Techniques +
CosySEL: Improving SAT Solving Using Local Symmetries +
Counterexample searches in Spot +
Cover automata for finite languages +
Cover automata for finite languages +
Creation of an antichain library +
Création d'un lien entre une bibliothèque de traitement d'image en C++ hautes performances vers Python +
Création d'un lien entre une bibliothèque de traitement d'image en C++ hautes performances vers Python +
Création d'une bibliothèque d'antichaîne +
Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey +
Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey +
D
De nouvelles fac cons d'utiliser l'interface Jupyter. +
Debug Packages in OpenBSD +
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 +
Dematerialization Tools in SCRIBO +
Derived-Term Automata of Multitape Expressions with Composition +
Derived-Term Automata of Multitape Rational Expressions +
Derived-Term Automata of Weighted Rational Expressions with Quotient Operators +
Derived-term Automata for Extended Weighted Rational Expressions +
Designing the user interface for a Common Lisp generic library +
Detecting Botnets Behaviors over Network Flows using Hidden Markov Models +
Detecting danger in marine environment: Part 1 - Making the dataset +
Detecting danger in marine environnement +
Direct-Simulation Reduction for TGBA +
Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery +
Discrete Morse Functions and Watersheds +
Discrete set-valued continuity and interpolation +
Discrimination supervisé de caractères sur des images +
Dispatch par propriétés dans les langages fonctionnels +
Distance Transform +
Distance Transform +
Distributed State Space Exploration +
Distribution, approximation and probabilistic model checking +
Diversifying a Parallel SAT Solver with Bayesian Moment Matching +
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 layout analysis in SCRIBO +
Document type recognition using evidence theory +
Domain Mismatch Compensation for Text-Independant Speaker Recognition +
Domain Mismatch Compensation for Text-Independant Speaker Recognition +
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 +
Dynamization of C++ static libraries +
Dynamization of C++ static libraries +
Décomposition d'un automate de Büchi Généralisé multi-force +
Découpage automatique des cartes de Cassini +
Découpage de programme C++ avec Transformers +
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 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 zones de textes sur des pièces d'identité +
Détection de danger en milieu marin +
Détection de danger en milieu marin, Création du dataset +
Détection de logotypes et autres invariants caractéristiques +
Détection de logotypes et autres invariants caractéristiques à l'aide de descripteurs SIFT +
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 +
E
ENST-IRCGN System Description +
ESDF: A proposal for a more flexible SDF handling +
ETAP: Experimental Typesetting Algorithms Platform +
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 +
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 Dynamic Type Checking of Heterogeneous Sequences +
Efficient Multiscale Sauvola's Binarization +
Efficient Transducer Composition in Vcsn +
Efficient Translation of Fairness LTL Formulae into Deterministic Automata +
Efficient algorithmic methods for Nash equilibria computation +
Efficient algorithmic methods for Nash equilibria computation +
Efficient implementations of hierarchical morphological representations +
Efficient removal of spontaneous transitions in Vcsn +
Electricity Price Forecasting on the Day-Ahead Market using Machine Learning +
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 +
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 +
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 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 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 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 +
Etude comparative d'invariants de forme pour la classification texte / non-texte +
Etude de ConceptC++ et possible intégration dans SCOOP +
Euler Well-Composedness +
Evaluating complex MAC protocols for sensor networks with APMC +
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 +
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 +
Exploration d'espace d'état distribué +
Exploring various implementations for goroutines support in go2pins +
Expression templates in Ada 95 +
Extending Testing Automata to All LTL +
Extensible languages: blurring the distinction between DSLs and GPLs +
Extraction de l'inverse video dans SCRIBO. +
Extraction de texte avec des ondelettes +
Extraction of Ancient Map Contents Using Trees of Connected Components +
F
FOANet: A Focus of Attention Network with Application to Myocardium Segmentation +
FSMXML and its application in Vaucanson +
FSMXML et son utilisation dans Vaucanson +
FSMXML for Vaucanson 2.0 +
FSMXML pour Vaucanson 2.0 +
Factor analysis based channel compensation in speaker verification +
Factor analysis based channel compensation in speaker verification +
Fast Image Registration +
Fast Level Line Transform +
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 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 structure preserving inpainting +
Featured Games +
Fictious Play +
Filtrage à base de contours pour la segmentation d'images +
Filtres connexes multivariés par fusion d'arbres de composantes +
Finding Maximal Common Joins in a DAG +
Finding Short Synchronizing Words +
Finite Automata Theory Based Optimization of Conditional Variable Binding +
First Attempt at Boltzmann Machines for Speaker Recognition +
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 +
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 an expression to the original automaton +
From an expression to the original automaton +
From text detection to text segmentation: a unified evaluation scheme +
Front-End Factor Analysis For Speaker Verification +
Front-end Promela dans Spot +
Full Covariance Matrices based Gaussian Mixture Models +
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 +
G
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 Linear Discriminant Sequence for Speaker Verification +
Generic Emptiness Check for Fun and Profit +
Generic Image Processing with Climb +
Generic algorithmic blocks dedicated to image processing +
Generic design patterns in C++ +
Generic epsilon-removal +
Generic epsilon-removal +
Generic implementation of morphological image operators +
Generic programming redesign of patterns +
Gestion des transitions blackbox dans go2pins +
Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls +
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 (Extended Version) +
Going beyond p-convolutions to learn grayscale morphological operators +
Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts +
Gradients Intégrés Renforcés +
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'expression rationnelle +
Génération efficace de grands espaces d'états +
Généricité dynamique pour des algorithmes morphologiques +
H
Handling blackbox transitions in go2pins +
Hate Speech and Toxic Comment Detection using Transformers +
Heuristics for Checking Liveness Properties with Partial Order Reductions +
Hierarchical Segmentation Using Tree-Based Shape Spaces +
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 fish embryo +
High-level Document Structure Analysis in the Olena Scribo Module +
Higher-Dimensional Timed and Hybrid Automata +
Histogrammes +
Histograms +
Hiérarchie par propriétés du module Algebra de Vaucanson +
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 nD Functions Digitally Well-Composed in a Self-Dual Way +
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 +
I
I-Vector Multilayer Perceptron in Speaker Recognition System +
I-Vectors distance learning with Convolutional Neural Networks +
ICDAR 2021 Competition on Historical Map Segmentation +
IVector space mapping with Deep Neural Network +
Identification Polynomiale des omega-Langages +
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 +
Image processing for plots detection from ancient maps +
Image reconstruction +
Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization +
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 taxonomy in Milena +
Image taxonomy in Olena +
Image taxonomy in Olena +
Images taxonomy and modeling +
Images taxonomy and modeling +
Implementation Concepts in Vaucanson 2 +
Implementation of Invisible and Transparent Transitions in Spot +
Implementation of transducers in Vaucanson +
Implementation of transducers in Vaucanson +
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 a C++ extension with Transformers: class namespace +
Implementing attributes in SDF +
Implementing rational semiring +
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 des transitions invisibles et transparentes dans Spot +
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 +
Improving Horn-Schunck +
Improving OCR k-NN classifier's training set +
Improving Parallel State-Space Exploration Using Genetic Algorithms +
Improving Vaucanson's design +
Improving Vaucanson's transducers composition algorithm +
Improving degeneralization in Spot +
Improving swarming using genetic algorithms +
Improving the Model Checking of Stutter-Invariant LTL Properties +
Improving the Quality of Rule-Based GNN Explanations +
Improving the determinization of Büchi automata +
In Pursuit of the Hidden Features of GNN's Internal Representations +
Inpainting rapide préservant la structure +
Inpainting variationnel par combinaison d'invariants +
Inside Vaucanson +
Integrating Mathematical Morphology within Deep Convolutional Neural Networks +
Integrating modern parallel techniques in the Tiger compiler +
Integration of Morphological Operators in Neural Networks +
Integration of TChecker in Spot +
Integration of histograms in the NL-Mean algorithm for image denoising. +
Interface graphique de Vaucanson +
Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach +
Introducing Multivariate Connected Openings and Closings +
Introducing Vaucanson +
Introducing Vaucanson +
Introducing the Boundary-Aware Loss for Deep Image Segmentation +
Introducing the Dahu Pseudo-Distance +
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 de TChecker dans Spot +
Intégration de la Morphologie Mathématique dans les Réseaux Neuronaux Profonds +
Intégration de techniques de parallélisation dans le compilateur Tiger +
Inverse Video extraction in Scribo +
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? +
J
JSPP: Morphing C++ into JavaScript +
K
K plus courts chemins dans Vcsn +
K plus courts chemins dans Vcsn +
K shortest-paths in Vcsn +
K shortest-paths in Vcsn +
Kernel Combination for SVM Speaker Verification +
L
L'Arbre de partition binaire pour le traitement d'images +
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 +
LRDE Speaker Recognition System for NIST-SRE 2010 +
LRDE System description +
LRDE's Speaker Verification Framework +
LRDE's Speaker Verification Framework +
LTL Model Checking for Communicating Concurrent Programs +
LTL Model Checking with Neco +
LTL Synthesis with Spot +
LTL Translation Improvements in Spot +
LTL Translation Improvements in Spot 1.0 +
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 l'Analyse en Composantes Indépendantes +
La complémentation d'automates de Büchi +
La complémentation d'automates de Büchi à travers des automates alternants +
La généricité par propriétés +
La programmation orientée contexte appliquée au traitement d'images +
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 +
Le support des automates alternants +
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 Morphological Operations +
Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks +
Learning models for model-checking +
Learning models for model-checking +
Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning +
Les Machines de Boltzmann dans la reconnaissance du locuteur +
Les arbres de composantes dans Milena +
Les automates en traitement automatique des langues naturelles +
Les propriétés dans Milena +
Les relations synchrones dans Vaucanson +
Les types de couleur dans Milena +
Ligne de partage des eaux topologique +
Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification +
Lisp, Jazz, Aikido +
Local Intensity Order Transformation for Robust Curvilinear Object Segmentation +
Local channel compensated method in Speaker Recognition System +
Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation +
Logotypes detection and other characteristic invariants +
Logotypes detection and other characteristics invariants using SIFT descriptors +
Loss functions benchmark for brain tumour segmentation +
M
MITLL 2012 Speaker Recognition Evaluation System Description +
MToS: A Tree of Shapes for Multivariate Images +
Maintenance automatique des symboles exportés dans les packages de Common Lisp +
Making Compiler Construction Projects Relevant to Core Curriculums +
Manipulating LTL formulas using Spot 1.0 +
Mappage d'espace d'ivecteur à l'aide d'un réseau neuronal profond +
Markov Clustering Algorithm for Unsupervised Speaker Recognition System +
Mathematical morphology and deep convolutional neural networks +
Max-Tree Computation on GPUs +
Meaningful disjoint level lines selection +
Mechanizing the Minimization of Deterministic Generalized Büchi Automata +
Mesures sur la réduction d'ordre partiel dans Spot +
Metagene, a C++ meta-program generation tool +
Method Combinators +
Methods for Explaining Top-N Recommendations Through Subgroup Discovery +
Metric Learning using a Siamese Deep Neural Network +
Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images +
Minimisation d'automates représentant des obligations +
Minimization of automata representing obligation formulae +
Model Checking using Generalized Testing Automata +
Model checking with generalized Rabin and Fin-less automata +
Model classification in model checking using random forest +
Modeling of Sensor Networks Using XRM +
Modelling and Identifying Troll Farm Accounts on Twitter +
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 +
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élisation et Identification des Troll Farmers sur Twitter +
Monads in Common Lisp +
Morphological Analysis of Brownian Motion for Physical Measurements +
Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations +
Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings +
Morphological Object Picking Based on the Color Tree of Shapes +
Morphologie et algorithmes +
Morphologie mathématique et réseaux convolutionnels profonds +
Morphologie sur images couleur +
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 +
Motion Compensation in Digital Holography for Retinal Imaging +
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éthode d'évaluation d'évaluateur d'algorithme de détection de texte +