3742 search results - page 580 / 749 » On the Use of Formal Techniques for Validation |
160
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Estimating relative camera motion from two views is a classical problem in computer vision. The minimal case for such problem is the so-called five-point-problem, for which the st...
147
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
Stent implantation for coronary disease treatment is a highly important minimally invasive technique that avoids surgery interventions. In order to assure the success of such an i...
184
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
173
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
The effect of crosstalk errors is most significant in highperformance circuits, mandating at-speed testing for crosstalk defects. This paper describes a self-test methodology that...
170
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Spinal cord analysis is an important problem relating to the study of various neurological diseases. We present a novel approach to spinal cord segmentation in magnetic resonance i...