Has title
From LRDE
I
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 +
Méthodes de réduction par ordre partiel adaptatives. +
Méthodes de réduction par ordre partiel dans Spot +
N
New Security Protocols for Offline Point-of-Sale Machines +
New ways to use the Vcsn's Jupyter interface. +
NixOS: A purely functional Linux distribution +
Non-iterative methods for image improvement in digital holography of the retina +
Nondeterminisation of alternating automata in SPOT +
Nondéterminisation d'automates alternants dans SPOT +
Nonlinear Projection for Cosine Distance Scoring in I-Vector based Speaker Verification Systems. +
Nouvelle traduction de LTL en TGBA dans Spot +
O
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 +
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 Making nD Images Well-Composed by a Self-Dual Local Interpolation +
On Refinement of Büchi Automata for Explicit Model Checking +
On Robustness for the Skolem and Positivity Problems +
On Some Associations Between Mathematical Morphology and Artificial Intelligence +
On a Polynomial Vector Field Model for Shape Representation +
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 security of quantum networks: a proposal framework and its capacity +
On-the-fly Emptiness Check of Transition-based Streett Automata +
One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures +
Optimisation d'une bibliothèque de traitement d'images +
Optimisation en Common Lisp et son application à Climb +
Optimisations dans le compilateur Tiger +
Optimization in Common Lisp, and its application to Climb +
Optimization of an image processing library +
Optimization of the Product Configuration System of Renault +
Optimizations in the Tiger Compiler +
Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes +
Outils pour la dématérialisation dans SCRIBO +
P
PAIP 2019: Liver Cancer Segmentation Challenge +
PaInleSS: a Framework for Parallel SAT Solving +
Parallel Climb +
Parallel Computation of Component Trees on Distributed Memory Machines +
Parallel Explicit Model Checking for Generalized Büchi Automata +
Parallel Learning Portfolio-Based Solvers +
Parallel Model Checking Algorithms for Linear-Time Temporal Logic +
Parallel Satisfiability Solver Based on Hybrid Partitioning Method +
Parallel approach for the computation of the tree of shapes on n-dimensional images +
Parallelism and Indexation in Quickref +
Parallelization in a generic image processing library +
Parallelizing Quickref +
Parallélisation dans une bibliothèque de traitement d'images générique +
Parallélisation de Climb +
Parallélisation et Indexation de Quickref +
Parser d'expressions rationnelles +
Parsing with Transformers +
Parsing with Transformers +
Partial order reduction in SPOT +
Partial order reduction methods for Spot +
Performance Comparison of Several Folding Strategies +
Periodic Area-of-Motion characterization for Bio-Medical applications +
Person authentication based on hand shape +
Polar type inference with intersection types and ω +
Polynomial Identification of omega-Language +
Posets With Interfaces as a Model for Concurrency +
Practical Application of Probabilistic Model Checking to Communication Protocols +
Practical Applications of the Alternating Cycle Decomposition +
Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient +
Practical Stutter-Invariance Checks for ω-Regular Languages +
Practical “Paritizing” of Emerson–Lei Automata +
Prise de décision à l'aide de SVM dans le contexte des systèmes de vérification du loctueur à base d'I-Vector +
Prise de décision à l'aide de SVM dans le contexte des systèmes de vérification du loctueur à base d'I-Vector +
Probabilistic Verification of Sensor Networks +
Probabilistic abstraction for model checking: an approach based on property testing +
Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC +
Probabilistic verification and approximation +
Product of Parity Automata +
Produit d'automates à parité +
Program templates: expression templates applied to program evaluation +
Programmatic Manipulation of Common Lisp Type Specifiers +
Progress in C++ source preprocessing +
Progress in C++ source preprocessing +
Progresses towards Vaucanson 1.4 and 2.0 +
Project EFIGI: Automatic classification of galaxies +
Projection non-linéaire pour l'attribution de score selon la distance en cosinus dans le contexte des systèmes de vérification du locuteur à base d'i-vectors. +
Projection non-linéaire pour l'attribution de score selon la distance en cosinus dans le contexte des systèmes de vérification du locuteur à base d'i-vectors. +
Properties in Milena +
Property based class hierarchy of Vaucanson's Algebra module +
Property based dispatch in functional languages +
Property-Based Genericity: A Dynamic Approach +
Proposal: an XML representation for automata +
Q
QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results +
QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results +
Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN +
Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo +
Quotient of weighted automata and rational series +
Quotients d'automates pondérés et de séries rationnelles +
R
Random automata and path generation in Vcsn +
Random rational expression generation +
Rational Expression Parser +
Reactive Synthesis from LTL Specification with Spot +
Real Time Face Expression Recognition +
Real-Time Document Detection in Smartphone Videos +
Real-Time Document Detection in Smartphone Videos +
Recalage d'images rapide +
Recherche de chemin acceptant bi-bande dans Spot +
Recherche de petits mots synchronisants +
Recherches de contrexemple dans Spot +
Recognizing Heterogeneous Sequences by Rational Type Expression +
Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues +
Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues +
Reconstruction d'image +
Reduce the resource consumption of a complex image processing chain +
Reduction d'automates +
Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes +
Regression benchmarking +
Regression benchmarking +
Reimplementation of testing-automata in Spot +
Remedial treatment for Vaucanson: an enhanced automaton concept +
Report on the 5th Workshop ELW at ECOOP 2008 +
Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging +
Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging +
Representing and Computing with Types in Dynamically Typed Languages +
Reseaux de neurones en goulot pour la Reconnaissance du Locuteur +
Residual 3D U-Net with Localization for Brain Tumor Segmentation +
Planting, Growing and Pruning Trees: Connected Filters Applied to Document Image Analysis +
Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation +
Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation +
Revisiting the Visitor: the Just Do It Pattern +
Revisiting the Visitor: the Just Do It Pattern +
Revue comparative des algorithmes de calcul de l'arbre des formes. +
Ruminations on Tarjan's Union-Find algorithm and connected operators +
Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages +
Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages +
Réduction basée sur des simulations d'ω-automates +
Réduction basées sur la bisimulation appliquées aux TGBA +
Réduction d'ordre partiel dans SPOT +
Réduction efficace d'ω-automate +
Réduction par simulation directe pour les TGBA +
Réduction par simulation pour les TGBA +
Réduire les ressources utilisées par une chaîne de traitement d'images complexe +
Réimplémentation des automates testeurs dans Spot +
S
SAT-based Minimization of Deterministic ω-Automata +
SCOOL: Concept-Oriented Programming +
SCOOL: Generic programming +
SCOOL: Programmation générique +
SCOOL: Programmation générique et concepts +
SCOOL: object orientation of a static language +
SCOOL: object orientation of a static language +
SUBTYPEP: An Implementation of Baker's Algorithm +
SUBTYPEP: Une implémentation de l'algorithme de Baker +
SVM Kernel Combining System for Speaker Verification +
SVM Kernel Combining System for Speaker Verification +
SVM decision taking in I-Vector based Speaker Verification Systems +
SVM-MLLR et fusion pour la vérification du locuteur +
SVM-MLLR for multi-speaker verification systems score fusion +
Saliency-Based Detection of Identity Documents Captured by Smartphones +
Salient Level Lines Selection Using the Mumford-Shah Functional +
Scool transformation towards C++ +
Scool transformation towards C++ +