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