Has title
From LRDE
M
Markov Clustering Algorithm for Unsupervised Speaker Recognition System +
Mathematical morphology and deep convolutional neural networks +
Max-Tree Computation on GPUs +
Meaningful disjoint level lines selection +
Mechanizing the Minimization of Deterministic Generalized Büchi Automata +
Mesures sur la réduction d'ordre partiel dans Spot +
Metagene, a C++ meta-program generation tool +
Method Combinators +
Methods for Explaining Top-N Recommendations Through Subgroup Discovery +
Metric Learning using a Siamese Deep Neural Network +
Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images +
Minimisation d'automates représentant des obligations +
Minimization of automata representing obligation formulae +
Model Checking using Generalized Testing Automata +
Model checking with generalized Rabin and Fin-less automata +
Model classification in model checking using random forest +
Modeling of Sensor Networks Using XRM +
Modelling and Identifying Troll Farm Accounts on Twitter +
Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) +
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework +