2302 search results - page 182 / 461 » Testing as Abstraction |
136
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. An experimental system and interface that indicate the likelihood of deep venous thrombosis using objective measures was developed, based on ultrasound image processing u...
162
click to vote
IPMI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. A method for quantitative assessment of tree structures is reported allowing evaluation of airway or vascular tree morphology and its associated function. Our skeletoniza...
164
click to vote
IPMI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. A new approach is proposed to estimate the spatial distribution of shear modulus of tissues in-vivo. An image sequence is acquired using a standard medical ultrasound sca...
181
click to vote
IPMI
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. We describe a new approach for estimating the posterior probability of tissue labels. Conventional likelihood models are combined with a curve length prior on boundaries,...
282
click to vote
CC
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...