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 +