151 search results - page 4 / 31 » Strong normalization from an unusual point of view |
ICPR
2002
IEEE
14 years 6 months ago
2002
IEEE
This paper presents a new approach for 3D view registration of stereo images. We introduce a hybrid error function which combines constraints from the ICP (Iterative Closest Point...
TOG
2008
13 years 5 months ago
2008
This paper presents a technique for acquiring the shape of realworld objects with complex isotropic and anisotropic reflectance. Our method estimates the local normal and tangent ...
CVPR
2010
IEEE
14 years 1 months ago
2010
IEEE
A framework is presented for estimating the pose of a camera based on images extracted from a single omnidirectional image of an urban scene, given a 2D map with building outlines...
3DIM
2005
IEEE
13 years 11 months ago
2005
IEEE
We present a novel approach on digitizing large scale unstructured environments like archaeological excavations using off-the-shelf digital still cameras. The cameras are calibrat...
LACL
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. We investigate natural deduction proofs of the Lambek calculus from the point of view of tree automata. The main result is that the set of proofs of the Lambek calculus c...