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 +