Articles Introduction à la Recherche
Révision datée du 13 février 2017 à 16:40 par Collet (discussion | contributions)
Voici des articles proposés par les différentes équipes pour préparer un oral pour l'UE Introduction à la Recherche :
- CSTB :
- MIV :
- Connected Operators
- Section 3 de Graphical Data Processing
- RÉSEAUX :
- ICPS :
- IGG :
- Thème 1 : preuve en géométrie, spécification, résolution de contraintes géométriques, formalisation d'opérations chirgurgicales
- Article sur l'architecture d'un logiciel de géométrie dynamique à la Geogebra
- John Harrison - A short survey of automated reasoning
- Herman Geuvers - Proof assistant : history, ideas and future
- Tomas Hales - Formal Proof
- Thème 2 : modélisation multirésolution, détection des collisions, interaction, simulation médicale et RA
- Thème 3 : textures, numérisation, maillages dynamiques
- [ Mykhalchuk, V., Cordier, F., & Seo, H. (2013). Landmark transfer with minimal graph. Computers and Graphics (Pergamon), 37(5), 539–552.]
- [ Luo, G., Cordier, F., & Seo, H. (n.d.). Spatio-temporal Segmentation for the Similarity Measurement of Deforming Meshes.]
- SDC :