1717 search results - page 265 / 344 » A Computable Spectral Theorem |
129
click to vote
FAC
2010
14 years 10 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
91
Voted
ICCV
2009
IEEE
16 years 5 months ago
2009
IEEE
One of the key factors for the success of recent energy
minimization methods is that they seek to compute global
solutions. Even for non-convex energy functionals, optimization
...
120
Voted
ICCV
2009
IEEE
16 years 5 months ago
2009
IEEE
Widespread use of surveillance cameras in offices and
other business establishments, pose a significant threat to
the privacy of the employees and visitors. The challenge of
int...
109
Voted
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
We consider the problem of predicting a sequence of real-valued multivariate states from a given measurement sequence. Its typical application in computer vision is the task of mo...
125
Voted
ECCV
2002
Springer
16 years 2 months ago
2002
Springer
Abstract. The plane-based calibration consists in recovering the internal parameters of the camera from the views of a planar pattern with a known geometric structure. The existing...