80 search results - page 8 / 16 » PVS |
MVA
2000
13 years 11 months ago
2000
In this paper, we propose a new method for 3D reconstruction from three cameras based on the projective geometry. If the subject is just synthesizing images from new viewpoint, 3D...
CADE
2002
Springer
14 years 10 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...
WDAG
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...
ICFEM
2007
Springer
14 years 4 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...