6800 search results - page 787 / 1360 » Testing with Functions as Specifications |
180
click to vote
IPMI
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. The exterior surface of the brain is characterized by a juxtaposition of crests and troughs that together form a folding pattern. The majority of the deformations that oc...
173
click to vote
SIGSOFT
2001
ACM
16 years 7 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
195
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
We propose a new global registration method for estimating the cardiac displacement field in 2D sequences of ultrasound images of the heart. The basic idea is to select a referenc...
183
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
We present a method to detect vessels in images of the retina. Instead of relying on pixel classification, as many detection algorithms do, we propose a more natural representatio...
143
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
We investigated nonrigid co-registration of PET and MR breast images to improve diagnostic specificity in difficult-to-interpret mammograms, and ultimately to avoid biopsy. A defo...