News subtitle
From LRDE
This is a property of type Text.
S
by Clara Jaquet (ESIEE Marne-la-Vallée) +
by Guillaume Charpiat (Équipe TAU, INRIA Saclay / LRI - Université Paris-Sud) +
by Edward A. Luke, Professor, Department of Computer Science and Engineering, Mississippi State University +
by Yongchao Xu, Associate Professor at the School of Electronic Information and Communications, HUST, China +
by Georges Uzbelger, IBM France +
by Stefan Schwoon, ENS Paris-Saclay +
by Stefan Schwoon, ENS Paris-Saclay +
by Uli Fahrenberg, Ecole Polytechnique +
by Souheib Baarir, Université Paris VI +
by Julien Tierny, Sorbonne Université +
by Gabriel Peyré, CNRS and Ecole Normale Supérieure +
by Daniel Stan, Technische Universität Kaiserslautern +
Spot is a model-checking library developed collaboratively +
Spot is a model-checking library developed collaboratively +
Spot is a model-checking library developed collaboratively +
Spot is a model-checking library developed collaboratively +
Spot is a model-checking library developed collaboratively by LRDE and LIP6. It provides algorithms and data structures to implement +
T
The 14th [http://www.acm.org ACM]–[http://www.sigcse.org SIGCSE] +
PhD from [http://www.univ-mlv.fr Université Paris Est Marne-la-Vallée]. His works mainly focus on real-time motion capture from multi-camera systems. The applications include new human-computer interfaces, automatic video surveillance and domotics. He joined LRDE as a postdoctoral researcher and is currently interested by automatic extraction of text from images. +
Yongchao XU continues working at LRDE within the Olena project as a PhD Student at [http://www.univ-mlv.fr Université Paris Est Marne-la-Vallée] on "Segmentation by self-dual structure on disconnected complexes" after having completed his Master at Paris Sud ([http://www.polytech.u-psud.fr IFIPS] /[http://www.u-psud.fr Orsay]). +