4502 search results - page 606 / 901 » Regular Model Checking |
185
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. In this paper, we investigate brain hallucination, or generating a high resolution brain image from an input low-resolution image, with the help of another high resolutio...
197
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
In this paper, we use a level set based segmentation algorithm to extract the vascular tree from Magnetic Resonance Angiography, "MRA". Classification model finds an opt...
176
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
This paper presents an efficient method to integrate various spatial-temporal constraints to regularize the contour tracking. The global shape of the contour is represented in a p...
171
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
Fourier Transform Infrared (FT-IR) spectroscopic imaging is a potentially valuable tool for diagnosing breast and prostate cancer, but its clinical deployment is limited due to lo...
205
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
Training principles for unsupervised learning are often derived from motivations that appear to be independent of supervised learning. In this paper we present a simple unificatio...