Property

Has title

From LRDE

Showing 20 pages using this property.
L
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  +
Language Recognition via I-Vectors and Dimensionality Reduction  +