Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ADG
2006
Springer
191views Mathematics» more  ADG 2006»
11 years 5 months ago
Automatic Verification of Regular Constructions in Dynamic Geometry Systems
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
Predrag Janicic, Pedro Quaresma
CVPR
2004
IEEE
12 years 3 months ago
Space-Time Isosurface Evolution for Temporally Coherent 3D Reconstruction
We model the dynamic geometry of a time-varying scene as a 3D isosurface in space-time. The intersection of the isosurface with planes of constant time yields the geometry at a si...
Bastian Goldlücke, Marcus A. Magnor
books