645 search results - page 21 / 129 » Image interpolation with directionlets |
TACAS
2004
Springer
14 years 27 days ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
We present a maximum likelihood (Ml) solution to the problem of obtaining high-resolution images from sequences of noisy, blurred, and low-resolution images. In our formulation, t...
TMI
1998
13 years 7 months ago
1998
—Spatially varying focal length fan-beam collimators can be used in single photon emission computed tomography to improve detection efficiency and to reduce reconstruction artif...
ICIAP
2003
ACM
14 years 7 months ago
2003
ACM
To be able to enlarge a digital image from a single frame preserving the perceptive cues is a relevant research issue. The best algorithms take into account the presence of edges ...
ICIP
1999
IEEE
14 years 9 months ago
1999
IEEE