1005 search results - page 180 / 201 » Patterns for Refinement Automation |
TKDE
2011
13 years 1 months ago
2011
—The machine learning and pervasive sensing technologies found in smart homes offer unprecedented opportunities for providing health monitoring and assistance to individuals expe...
TMI
2010
13 years 1 months ago
2010
Abstract--Today's computer aided detection systems for computed tomography colonography (CTC) enable automated detection and segmentation of colorectal polyps. We present a pa...
KDD
2012
ACM
11 years 9 months ago
2012
ACM
Digital storage of personal music collections and cloud-based music services (e.g. Pandora, Spotify) have fundamentally changed how music is consumed. In particular, automatically...
KDD
2002
ACM
14 years 7 months ago
2002
ACM
Advances in imaging techniques have led to large repositories of images. There is an increasing demand for automated systems that can analyze complex medical images and extract me...
ICCAD
2002
IEEE
14 years 3 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...