20294 search results - page 247 / 4059 » Algorithmic Information Theory |
167
click to vote
IJCV
2006
15 years 6 months ago
2006
Suppose two perspective views of four world points are given and that the intrinsic parameters are known but the camera poses and the world point positions are not. We prove that t...
157
click to vote
PAMI
2008
15 years 6 months ago
2008
This paper develops a theory of frequency domain invariants in computer vision. We derive novel identities using spherical harmonics, which are the angular frequency domain analog ...
159
Voted
TON
2002
15 years 5 months ago
2002
By extending the system theory under the (min, +) algebra to the time-varying setting, we solve the problem of constrained traffic regulation and develop a calculus for dynamic ser...
167
Voted
TPDS
2010
15 years 4 months ago
2010
—In distributed computing systems (DCSs) where server nodes can fail permanently with nonzero probability, the system performance can be assessed by means of the service reliabil...
215
Voted
NFM
2011
15 years 1 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...