6941 search results - page 699 / 1389 » Testing as a Certification Approach |
160
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
165
click to vote
SP
2008
IEEE
16 years 1 months ago
2008
IEEE
Eavesdropping on electronic communication is usually prevented by using cryptography-based mechanisms. However, these mechanisms do not prevent one from obtaining private informat...
225
click to vote
3DIM
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a new approach for generation of superresolution stereoscopic and multi-view video from monocular video. Such multi-view video is used for instance with multi-...
179
click to vote
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
Within the field of pattern classification, the Fisher kernel is a powerful framework which combines the strengths of generative and discriminative approaches. The idea is to ch...
180
click to vote
ICDM
2007
IEEE
16 years 1 months ago
2007
IEEE
The problem of evaluating scientific publications and their authors is important, and as such has attracted increasing attention. Recent graph-theoretic ranking approaches have d...