1017 search results - page 80 / 204 » Register computations on ordinals |
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...
CVPR
1999
IEEE
14 years 10 months ago
1999
IEEE
This paper presents a method for registering images at different magnifications (scales) by treating the problem not only as one of scaling the image coordinates but also as one i...
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
We present an algorithm and the associated capture methodology to acquire and track the detailed 3D shape, bends, and wrinkles of deforming surfaces. Moving 3D data has been diffi...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
Early approaches to building mosaics by composing photographic images, assume the input images have similar exposures. Since this is unlikely to happen in practice, it became comm...
MFCS
2009
Springer
14 years 2 months ago
2009
Springer
In a data word or a data tree each position carries a label from a finite alphabet and a data value from an infinite domain. Over data words we consider the logic LTL↓ 1(F), th...