1955 search results - page 69 / 391 » Can Computers Handle Adverbs |
145
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
123
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
We present a novel stereo algorithm which performs surface reconstruction from planar camera arrays. It incorporates the merits of both generic camera arrays and rectified binocul...
161
click to vote
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
We address the problem of computing the 3-dimensional shape of an arbitrary scene from a set of images taken at known viewpoints. Multi-camera scene reconstruction is a natural gen...
133
click to vote
MP
1998
15 years 3 months ago
1998
Various algorithms can compute approximate feasible points or approximate solutions to equality and bound constrained optimization problems. In exhaustive search algorithms for gl...
172
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Cylindrical panoramic mosaics can be created by aligning and stitching images from a series, captured by a camera rotating around its optical center. The transformation between tw...