Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

7 résultats
Image document

Terrain Modelling from Feature Primitives

Jean-David Génevaux , Eric Galin , Adrien Peytavie , Eric Guérin , Cyril Briquet , et al.
Computer Graphics Forum, 2015, 34 (6), pp.198-210. ⟨10.1111/cgf.12530⟩
Article dans une revue hal-01257198v2
Image document

Formalization of Wu's simple method in Coq

Jean-David Génevaux , Julien Narboux , Pascal Schreck
CPP 2011 First International Conference on Certified Programs and Proofs, Dec 2011, Kenting, Taiwan. pp.71-86, ⟨10.1007/978-3-642-25379-9_8⟩
Communication dans un congrès inria-00618745v2
Image document

Représentation, modélisation et génération procédurale de terrains

Jean-David Génevaux
Modélisation et simulation. Université Lyon 2, 2015. Français. ⟨NNT : ⟩
Thèse tel-01196438v1
Image document

Extensions of the witness method to characterize under-, over- and well-constrained geometric constraint systems

Simon Thierry , Pascal Schreck , Dominique Michelucci , Christoph Fünfzig , Jean-David Génevaux
Computer-Aided Design, 2011, 43 (10), pp.1234-1249. ⟨10.1016/j.cad.2011.06.018⟩
Article dans une revue hal-00691690v1
Image document

Using the witness method to detect rigid subsystems of geometric constraints in CAD

Dominique Michelucci , Simon Thierry , Pascal Schreck , Christoph Fünfzig , Jean-David Génevaux
Symposium on Solid and Physical Modeling, 2010, Haïfa, Israel. pp.91-100, ⟨10.1145/1839778.1839791⟩
Communication dans un congrès hal-00691703v1
Image document

Efficient modeling of entangled details for natural scenes

Eric Guérin , Eric Galin , François Grosbellet , Adrien Peytavie , Jean-David Genevaux
Computer Graphics Forum, 2016, 35 (7), pp.257-267. ⟨10.1111/cgf.13023⟩
Article dans une revue hal-01370684v1
Image document

Modélisation de terrains par primitives

Jean-David Génevaux , François Grosbellet , Eric Galin , Adrien Peytavie , Eric Guérin , et al.
Journées de l’Association Française d’Informatique Graphique, Nov 2014, Reims, France
Communication dans un congrès hal-01259310v1