557 search results - page 60 / 112 » The L4.verified Project - Next Steps |
CVPR
1996
IEEE
14 years 9 months ago
1996
IEEE
A family of structure from motion algorithms called the factorization method has been recently developed from the orthographic projection model to the afJine camera model [23, i6,...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
Most camera calibration algorithms consider parameters that define the lens distortion mapping. The usual way to determine these parameters is to minimize a nonlinear optimization...
ICIP
2000
IEEE
14 years 9 months ago
2000
IEEE
In this paper, we present a global scheme for encoding/ decoding natural video sequences with partial 3D models. This technique is based on a robust estimation of a constrained de...
AGILEDC
2007
IEEE
14 years 2 months ago
2007
IEEE
In Christopher Alexander's pattern of this name, he says, “No social group—whether a family, a work group, or a school group—can survive without constant informal conta...
FPL
2003
Springer
14 years 28 days ago
2003
Springer
In this paper we propose a design space exploration method targeting reconfigurable architectures that takes place at the algorithmic level and aims to rapidly highlight architect...