1670 search results - page 204 / 334 » On Skolemization in constructive theories |
182
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
The recovery of 3D models from multiple reference images involves not only the extraction of 3D shape, but also of texture. Assuming that all surfaces are Lambertian, the resultin...
188
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
A novel procedure is presented to construct image-domain filters (receptive fields) that directly recover local motion and shape parameters. These receptive fields are derived fro...
195
click to vote
VIS
2007
IEEE
16 years 7 months ago
2007
IEEE
Abstract-This paper describes a method for constructing isosurface triangulations of sampled, volumetric, three-dimensional scalar fields. The resulting meshes consist of triangles...
155
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
We consider the correspondence problem associated with the non-rigid registration of a group of images; in particular, the theoretical basis for the derivation of the objective fu...
285
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...