557 search results - page 66 / 112 » The L4.verified Project - Next Steps |
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
We present an autocalibration algorithm for upgrading a projective reconstruction to a metric reconstruction by estimating the absolute dual quadric. The algorithm enforces the ra...
ICCV
2001
IEEE
14 years 9 months ago
2001
IEEE
In an immersive tele-presence environment a 3D remote real scene is projected from the viewpoint of the local user. This 3D world is acquired through stereo reconstruction at the ...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
This paper introduces a novel and efficient algorithm for reconstructing the 3D shapes of tumors from a set of 2D bioluminescence images which are taken by the same camera but aft...
PEPM
2009
ACM
14 years 4 months ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
MSR
2009
ACM
14 years 2 months ago
2009
ACM
Research in the fields of software quality, maintainability and evolution requires the analysis of large quantities of data, which often originate from open source software proje...