Has title


Showing 500 pages using this property.
... Insert a title in French here ...  +
10 years of confrontation between French Internet users and their successive governments  +
A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI  +
A Channel-Blind System for Speaker Verification  +
A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation  +
A Comparative Review of Component Tree Computation Algorithms  +
A Fast and Exact Algorithm for Total Variation Minimization  +
A Feedback Arc Set for Spot  +
A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images  +
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers  +
A Morphological Method for Music Score Staff Removal  +
A Morphological Tree of Shapes for Color Images  +
A Note on the Discrete Binary Mumford-Shah Model  +
A Promela front-end for Spot  +
A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images  +
A Set of Tools to Teach Compiler Construction  +
A Study of Well-Composedness in n-D  +
A Survey of French Local e-Democracy  +
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams  +
A Tree of Shapes for Multivariate Images  +
A Tutorial on Well-Composedness  +
A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images  +
A Type System for Weighted Automata and Rational Expressions  +
A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization  +
A co-Büching Toolbox  +
A comparative study of image invariants for text / non-text classification  +
A comparison of many max-tree computation algorithms  +
A fast algorithm for auto-dual trees  +
A fast and exact algorithm for total variation minimization  +
A first step toward a fair comparison of evaluation protocols for text detection algorithms  +
A framework to dynamically manage distributed virtual environments  +
A new translation from LTL into TGBA in Spot  +
A note on nice-levelable MRFs for SAR image denoising with contrast preservation  +
A novel method to fight the non line of sight error in AOA measurements for mobile location  +
A precise skew estimation algorithm for document images using KNN clustering and Fourier transform  +
A self-adaptive likelihood function for tracking with particle filter  +
A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming  +
APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains  +
About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time.  +
Action recognition: how intelligent virtual environments can ease human-machine interaction  +
Adaptation d'algorithmes de Vaucanson à une interface plus simple  +
Adaptation de l'algorithme de watershed cuts aux complexes cellulaires  +
Adaptation of the watershed cuts algorithm to cellular complexes  +
Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée  +
Adapting Vaucanson algorithms to a simpler interface  +
Adapting the data structures of Vaucanson to the concept of kind and a new interface  +
Adaptive partial order reduction methods  +
Adding Contracts to C++ with Transformers  +
Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis  +
Ajout de la programmation par contrats au C++ avec Transformers  +
Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire  +
Algorithmes sur les Transducteurs  +
Algorithms for Mathematical Morphology  +
Algorithms on Transducers  +
Alternate Fictitious Play study and implementation  +
Alternating automata support  +
Amélioration de la base d'entraînement d'un classifieur k-nn d'OCR  +
Amélioration de la composition des transducteurs dans Vaucanson  +
Amélioration de la dégénéralisation dans Spot  +
Amélioration de la réduction par simulation  +
Améliorer Horn-Schunck  +
Améliorer l'architecture de Vaucanson 2  +
Améliorer la determinisation d'automates de Büchi  +
An Efficient Algorithm for Connected Attribute Thinnings and Thickenings  +
An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D  +
An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming  +
An XML format proposal for the description of weighted automata, transducers, and regular expressions  +
An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments  +
An edge-based attribute filter dedicated to image segmentation  +
An efficient algorithm for attribute openings and closings  +
An efficient implementation of transition-based generalized Büchi automaton determinization  +
An implementation of the C++ container library with SCOOL  +
An interpreter for Vaucanson  +
An interpreter for Vaucanson  +
An overview of Scoop, a static object-oriented paradigm  +
An overview of Vaucanson  +
An overview of Vaucanson  +
Analyse de la mise en page d'un document dans SCRIBO  +
Analyse de performances dans Vaucanson  +
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  +
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  +
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  +
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  +
Avancées vers Vaucanson 1.4 et 2.0  +
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  +
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 Tumor Segmentation with deep convolutional network approach  +
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation  +
Building LTL Model Checkers using Transition-based Generalized Büchi Automata  +
Building an interface for and with Climb  +
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  +
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 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  +
Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle  +
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  +
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  +
Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes  +
Context-Oriented Image Processing  +
Context-oriented programming applied to image processing  +
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  +
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'une bibliothèque d'antichaîne  +
De nouvelles fac cons d'utiliser l'interface Jupyter.  +
Deciding Persistence or Recurrence Membership in Spot  +
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  +
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  +
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  +
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é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éveloppement d'une interface graphique pour Vaucanson  +
Développement d'une interface graphique pour Vaucanson  +
ENST-IRCGN System Description  +
ESDF: A proposal for a more flexible SDF handling  +
Ecriture d'algorithmes de traitement d'images génériques  +
Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging  +
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 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 dynamic type checking of heterogeneous sequences  +
Efficient removal of spontaneous transitions in Vcsn  +
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  +
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 naturelles en utilisant l'arbre des formes  +
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 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  +
Evaluating complex MAC protocols for sensor networks with APMC  +
Evaluation method of text detection algorithm rating  +
Exact optimization of discrete constrained total variation minimization problems  +
Exact optimization of discrete constrained total variation minimization problems  +
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  +
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 color image segmentation based on levellings in feature Space  +
Fast road network extraction in satellite images using mathematical morphology and Markov random fields  +
Fast structure preserving inpainting  +
Fictious Play  +
Filtrage à base de contours pour la segmentation d'images  +
Filtres connexes multivariés par fusion d'arbres de composantes  +
Finding Short Synchronizing Words  +
Finding maximal common joins in a DAG  +
Finite Automata Theory Based Optimization of Conditional Variable Binding  +
First Attempt at Boltzmann Machines for Speaker Recognition  +
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 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  +
GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification  +
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  +
Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls  +
Global Optimization for First Order Markov Random Fields with Submodular Priors  +
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  +
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  +
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  +
Histogrammes  +
Histograms  +
Hiérarchie par propriétés du module Algebra de Vaucanson  +
Homolib  +
Homolib  +
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 make Lisp go faster than C  +
How to make Lisp go faster than C  +
I-Vector Multilayer Perceptron in Speaker Recognition System  +
I-Vectors distance learning with Convolutional Neural Networks  +
IVector space mapping with Deep Neural Network  +
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 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  +
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  +
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 the Model Checking of Stutter-Invariant LTL Properties  +
Improving the determinization of Büchi automata  +
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 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 Dahu Pseudo-Distance  +
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  +
Is There a Best Büchi Automaton for Explicit Model Checking?  +
JSPP: Morphing C++ into JavaScript  +
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'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 with Neco  +
LTL Synthesis with Spot  +
LTL Translation Improvements in Spot  +
LTL Translation Improvements in Spot 1.0  +
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  +
Language Recognition via I-Vectors and Dimensionality Reduction  +
Le support des automates alternants  +
Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation  +
Learning Morphological Operations  +
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 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  +
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  +
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  +
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  +
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  +
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  +
Mécanique de Vaucanson 2.0  +
Méthode d'évaluation d'évaluateur d'algorithme de détection de texte  +
Méthodes de réduction par ordre partiel adaptatives.  +