Inférence d’opérations de modélisation géométrique

Seminar of the G-Mod team from the LIS laboratory in Marseille. Presentation done in French.

Résumé : L’implémentation de nouvelles opérations pour la modélisation géométrique est une tâche souvent difficile alors qu’une opération peut être simplement décrite à partir d’un croquis ou d’un exemple. Je propose une méthode pour inférer des opérations via un exemple représentatif. Le mécanisme d’inférence exploite la régularité des cartes généralisées et du langage à base de règles de Jerboa pour la reconstruction des changements topologiques. L’inférence des modifications géométriques d’une opération est étudiée comme un problème de satisfaction de contraintes, guidé par le résultat de l’inférence topologique.

Romain Pascual
Romain Pascual
Postdoc

My research interests include applications of graph rewriting to computer graphics, and more generally formal methods from theory to applications.