Has title
From LRDE
C
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 +