557 search results - page 60 / 112 » The L4.verified Project - Next Steps |
107
click to vote
CVPR
1996
IEEE
16 years 1 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
16 years 1 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
16 years 1 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
15 years 6 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...
126
click to vote
FPL
2003
Springer
15 years 5 months 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...