2935 search results - page 405 / 587 » An Integrated Approach to High Integrity Software Verificati... |
156
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Obtaining high quality patient-specific flow velocity information is not an easy task. Available clinical data are usually poorly resolved and contain a significant amoun...
185
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
Face detection from cluttered images is very challenging due to the diverse variation of face appearance and the complexity of image background. In this paper, we propose a neural...
159
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
Large test data volume and high test power are two of the major concerns for the industry when testing large integrated circuits. With given test cubes in scan-based testing, the ...
150
click to vote
INFOCOM
2008
IEEE
16 years 24 days ago
2008
IEEE
Abstract—Numerous authentication schemes have been proposed in the past for protecting communication authenticity and integrity in wireless sensor networks. Most of them however ...
158
click to vote
ECBS
1997
IEEE
15 years 10 months ago
1997
IEEE
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...