MinSAT : Resolution and Applications
14 nov 2013
ZHU Zhu, le 15 novembre 2013
Appariement entre images de points de vue éloignés par utilisation de carte de profondeur
20 oct 2013
SOONTRANON Narut, le 21 octobre
Introduire la spéculation en auto-stabilisation : le cas de l'exclusion mutuelle
13 oct 2013
lundi 14 octobre à 14h en salle 201, exposé de Swan Dubois, maître conférence à l'UPMC et membre du LIP6
Spatio-temporal Co-occurence for Human Action Classification
30 sep 2013
MD SABRI Aznul Qalid, le 1er octobre
Robustesse en vision, Détection de visages
10 juil 2013
Jeudi 11 juillet à 10h, deux exposés : Robustesse en vision par ordinateur, par le professeur In so Kweon du KAIST (Daejeon-Corée du Sud) ;
Suivie de Yoan Dupuis sur la détection de visages dans les images omnidirectionnelles.
Parameterized optimization: going beyond treewidth?
13 juin 2013
Vendredi 14 juin 2013, 14h, en salle 201, Binh Minh Bui Xuan, chargé de recherche au LIP6 (joint work with J.-F. Raymond and P. Trebuchet)
A major trend in parameterized algorithms aims at solving NP-hard graph problems in two steps: (1) recursively divide the input graph into chunks not increasing the value of a certain "width" parameter; (2) solve the NP-hard problem at hand along the chunk divisions. The two stage divide-and-conquer paradigm is commonly addressed as (1) finding good heuristics/approximation for the width parameter; (2) dynamic programming solving the NP-hard problem at hand .
Verification of imperative BSP programs and application to verifying a distributed state-space algorithm
10 avr 2013
Jeudi 11 avril 2013, 14h30 : Frédéric Gava MCF (HDR) membre du Laboratoire d'Algorithmique, Complexité et Logique (LACL) de l'Université de Paris Est
Qualité de services dans les protocoles de multicast géographique et de routage par permutation dans les réseaux de capteurs sans fil
27 mar 2013
BOMGNI Alain Bertrand, le 28 mars
Camera Control in Virtual Environments
11 fév 2013
Mardi 12 février 2013, 14h en salle 201 : exposé donné par Marc Christie
Une méthode catadioptrique de reconstruction 3D d'objets basée silhouette
09 jan 2013
Type
Jeudi 10 janvier 2013, 14h-15h30 (salle 201) par Alex Potelle
