Sciweavers

645 search results - page 21 / 129
» Image interpolation with directionlets
Sort
View
TACAS
2004
Springer
110views Algorithms» more  TACAS 2004»
15 years 7 months ago
An Interpolating Theorem Prover
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...
Kenneth L. McMillan
97
Voted
ICIP
2003
IEEE
16 years 3 months ago
EM-based simultaneous registration, restoration, and interpolation of super-resolved images
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...
Nathan A. Woods, Nikolas P. Galatsanos, Aggelos K....
127
Voted
TMI
1998
175views more  TMI 1998»
15 years 1 months ago
A Harmonic Decomposition Reconstruction Algorithm for Spatially-Varying Focal Length Collimators
—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...
Jiangsheng You, Zhengrong Liang, Shanglian Bao
140
Voted
ICIAP
2003
ACM
16 years 2 months ago
Smart interpolation by anisotropic diffusion
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 ...
Sebastiano Battiato, Giovanni Gallo, Filippo Stanc...
92
Voted
ICIP
1999
IEEE
16 years 3 months ago
Piecewise Polynomial Kernels for Image Interpolation: A Generalization of Cubic Convolution
Erik H. W. Meijering, Wiro J. Niessen, Max A. Vier...