Has title
From LRDE
T
Two-automaton emptiness check in Spot +
Type-Checking of Heterogeneous Sequences in Common Lisp +
U
Un Feedback Arc Set pour Spot +
Un algorithme de complexité linéaire pour le calcul de l'arbre des formes +
Un algorithme rapide pour l'arbre auto-dual +
Un ensemble d'outils de conversion en automate de co-Büchi +
Une approche générique du logiciel pour le traitement d'images préservant les performances +
Une approche morphologique de segmentation interactive avec l'arbre des formes couleur +
Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images +
Une généralisation du bien-composé à la dimension n +
Une implementation efficace de déterminisation d'automates de Büchi généralisés à transitions acceptantes +
Une implementation efficace de déterminisation d'automates de Büchi généralisés à transitions acceptantes +
Une implémentation des conteneurs C++ avec SCOOL +
Une introduction à Scoop, un paradigme Cxx orienté objet +
Unified texture management for arbitrary meshes +
Uniform Random Sampling of Traces in Very Large Models +
Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach +
Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification +
Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification +
Urbi et Orbi: unusual design and implementation choices for distributed virtual environments +
Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures +
Using a wavelet-based descriptor to extract information on object shape +