Sciweavers

350 search results - page 19 / 70
» A Component-Labeling Algorithm Using Contour Tracing Techniq...
Sort
View
GECCO
2006
Springer
226views Optimization» more  GECCO 2006»
14 years 3 days ago
Segmentation of medical images using a genetic algorithm
Segmentation of medical images is challenging due to poor image contrast and artifacts that result in missing or diffuse organ/tissue boundaries. Consequently, this task involves ...
Payel Ghosh, Melanie Mitchell
ICS
2011
Tsinghua U.
12 years 12 months ago
Scalable fine-grained call path tracing
Applications must scale well to make efficient use of even medium-scale parallel systems. Because scaling problems are often difficult to diagnose, there is a critical need for sc...
Nathan R. Tallent, John M. Mellor-Crummey, Michael...
DATE
2009
IEEE
100views Hardware» more  DATE 2009»
14 years 3 months ago
Increasing the accuracy of SAT-based debugging
Equivalence checking and property checking are powerful techniques to detect error traces. Debugging these traces is a time consuming design task where automation provides help. I...
André Sülflow, Görschwin Fey, C&e...
JVCIR
2006
127views more  JVCIR 2006»
13 years 8 months ago
Automatic liver segmentation for volume measurement in CT Images
Computed tomography (CT) images have been widely used for diagnosis of liver disease and volume measurement for liver surgery or transplantation. Automatic liver segmentation and ...
Seong-Jae Lim, Yong-Yeon Jeong, Yo-Sung Ho
SIGSOFT
2008
ACM
14 years 9 months ago
Javert: fully automatic mining of general temporal properties from dynamic traces
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
Mark Gabel, Zhendong Su