Co-apprentissage statistique interactif de classes sémantiques pour l'interprétation
d'images satellitaires et de vidéos
Co-apprentissage statistique interactif de classes sémantiques pour l'interprétation
d'images satellitaires et de vidéos
Co-conception d'imageurs 3D ultra-compacts
Détection d'objet ponctuel sur clutter instationnaire à partir de vidéos
Modélisation Fluide de Réseaux
Raisonner avec des informations acquises dans un contexte non-coopératif
Pistage passif : localisation et suivi de cibles via l’utilisation d’un réseau de capteurs électromagnétiques passifs de détection.
Prise en compte du contexte pour la fusion de haut niveau
Vérification formelle de systèmes embarqués temps réel
Méthodes catégoriques pour la modélisation et la vérification d’architectures
Modélisation et analyse formelle du domaine en ingénierie des exigences
Foveal vision for dynamic scene understanding
Un cadre formel pour l’argumentation de sécurité d’un système
Méthodes asynchrones de haute précision pour la modélisation de phénomènes multi-échelles
Langage et méthode pour code prédictible sur many-coeur