1017 search results - page 96 / 204 » Register computations on ordinals |
CORR
2008
Springer
13 years 8 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
CPHYSICS
2007
13 years 7 months ago
2007
During the last decade, several quantum information protocols, such as quantum key distribution, teleportation or quantum computation, have attracted a lot of interest. Despite th...
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
A method is presented for computing the radiometric response function of a camera from a single grayscale image. While most previous techniques require a set of registered images ...
ICCV
2005
IEEE
14 years 9 months ago
2005
IEEE
Most multi-camera vision applications assume a single common color response for all cameras. However different cameras--even of the same type--can exhibit radically different colo...
ISVC
2009
Springer
14 years 2 months ago
2009
Springer
We describe techniques for registering images from sequences of aerial images captured of the same terrain on different days. The techniques are robust to changes in weather, incl...