626 search results - page 35 / 126 » When Can Formal Methods Make a Real Difference |
FMCAD
2009
Springer
14 years 3 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
CVPR
2007
IEEE
14 years 3 months ago
2007
IEEE
Since biometric data cannot be easily replaced or revoked, it is important that biometric templates used in biometric applications should be constructed and stored in a secure way...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
Advances in medical imaging technique make it possible to study shape variations of neuroanatomical structures in vivo, which has been proved useful in the study of neuropathology...
CVPR
1998
IEEE
14 years 1 months ago
1998
IEEE
We present a method for matching curves which accommodates large and small deformation. The method preserves geometric similarities in the case of small deformation, and loosens t...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
A new method for the blind separation of linear image mixtures is presented in this paper. Such mixtures often occur, when, for example, we photograph a scene through a semireflec...