5216 search results - page 919 / 1044 » Planning as Model Checking |
119
Voted
ICIP
2000
IEEE
16 years 5 months ago
2000
IEEE
Spatial resolution of Magnetic Resonance Angiography (MRA) makes it a powerful tool for diagnosis and surgical planning. However, image interpretation and visualization tools are ...
259
click to vote
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
In this paper, we present a new technique, called Stream Projected Ouliter deTector (SPOT), to deal with outlier detection problem in high-dimensional data streams. SPOT is unique ...
117
click to vote
MICCAI
2003
Springer
16 years 4 months ago
2003
Springer
Given models for healthy brains, tumor segmentation can be seen as a process of detecting abnormalities or outliers that are present with certain image intensity and geometric prop...
103
click to vote
ISBI
2008
IEEE
16 years 4 months ago
2008
IEEE
The approach proposed in this paper retrieves contours from transrectal ultrasound (TRUS) prostate images. The input images are sparsely annotated by radiologists for the purpose ...
127
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
In this paper we measured and analyzed the workload on Yahoo! Video, the 2nd largest U.S. video sharing site, to understand its nature and the impact on online video data center d...