4307 search results - page 611 / 862 » Dynamic Spyware Analysis |
ICCV
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper describes a new algorithm for solving the N-camera stereo correspondence problem by transforming it into a maximum- ow problem. Once solved, the minimum-cut associated ...
KBSE
1998
IEEE
14 years 2 months ago
1998
IEEE
Structural testing criteria are mandated in many software development standards and guidelines. The process of generating test-data to achieve 100 coverage of a given structural c...
ACCV
1998
Springer
14 years 2 months ago
1998
Springer
A new paradigm, the minimization of errors in synthesized images, is introduced to organically combine Computer Vision and Computer Graphics for Virtual Reality applications. Based...
CCS
1998
ACM
14 years 2 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
HASE
1997
IEEE
14 years 2 months ago
1997
IEEE
This paper deals with the modelling and evaluation of mission-phased systems devoted to space applications. We propose a two level hierarchical method that allows to model such sy...