Sciweavers

4850 search results - page 211 / 970
» Proof and Computation in Geometry
Sort
View
CVPR
2004
IEEE
16 years 8 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
ICCV
2005
IEEE
16 years 5 days ago
Recognizing Human Actions in Videos Acquired by Uncalibrated Moving Cameras
Most work in action recognition deals with sequences acquired by stationary cameras with fixed viewpoints. Due to the camera motion, the trajectories of the body parts contain no...
Alper Yilmaz, Mubarak Shah
COMGEO
2007
ACM
15 years 6 months ago
Advanced programming techniques applied to Cgal's arrangement package
Arrangements of planar curves are fundamental structures in computational geometry. Recently, the arrangement package of Cgal, the Computational Geometry Algorithms Library, has b...
Ron Wein, Efi Fogel, Baruch Zukerman, Dan Halperin
NDJFL
2000
74views more  NDJFL 2000»
15 years 6 months ago
Frege's New Science
In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege's debate with Hilbert over independence proofs ...
Aldo Antonelli, Robert May
CG
2005
Springer
15 years 6 months ago
Geometric computing in computer graphics using conformal geometric algebra
Early in the development of Computer Graphics it was realized that projective geometry was well suited for the representation of transformations. Now, it seems that another change...
Dietmar Hildenbrand