1722 search results - page 236 / 345 » Generating Tests from Counterexamples |
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
In this paper we present a hierarchical, learning-based approach for automatic and accurate liver segmentation from 3D CT volumes. We target CT volumes that come from largely dive...
ICCV
1999
IEEE
14 years 11 months ago
1999
IEEE
An automated method for left ventricle detection in MR cardiac images is presented. Ventricle detection is the rst step in a fully automated segmentation system used to compute vo...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
In this paper, we address issues in segmentation of remotely sensed LIDAR (LIght Detection And Ranging) data. The LIDAR data, which were captured by airborne laser scanner, contai...
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
Dermoscopy is a technique used to better visualize pigmented skin lesion and aid the clinician in determining if a lesion is benign or malignant. Automated segmentation of dermosc...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
Abstract. In this paper we describe a virtual laboratory that is designed to accelerate scientific exploration and discovery by minimizing the time between the generation of a scie...