3742 search results - page 273 / 749 » On the Use of Formal Techniques for Validation |
165
click to vote
CBMS
2006
IEEE
16 years 21 days ago
2006
IEEE
There currently is no clinically accepted noninvasive technique for detecting moderate blood loss. Clinicians instead normally rely on lagging indicators such as blood pressure an...
152
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
In today’s deep-submicron designs, the interconnect delays contribute an increasing part to the overall performance of an implementation. Particularly when targeting field prog...
188
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this article we propose a cardiac motion estimation technique that uses non-rigid registration to compute the dense cardiac displacement field from 2D ultrasound sequ...
202
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Several techniques have been proposed so far in order to perform faint compact source detection in wide field interferometric radio images. However, all these methods can easily mi...
154
click to vote
SDM
2007
SIAM
15 years 8 months ago
2007
SIAM
When non-unique values are used as the identifier of entities, due to their homonym, confusion can occur. In particular, when (part of) “names” of entities are used as their ...