Publications related to IMAGING - Administration

Interpolation and Symbol Elimination

We prove several results related to local proofs, interpolation and superposition calculus and discuss their use in predicate abstraction and invariant generation. Our proofs and results suggest that symbol-eliminating inferences may be an interesting alte ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2009

On Sampling Lattices with Similarity Scaling Relationships

Dimitri Nestor Alice Van De Ville, Thierry Blu

We provide a method for constructing regular sampling lattices in arbitrary dimensions together with an integer dilation matrix. Subsampling using this dilation matrix leads to a similarity-transformed version of the lattice with a chosen density reduction ...

LATP2009

Sound Field Analysis Along a Circle and its Application to HRTF Interpolation

Martin Vetterli, Christof Faller, Luciano Sbaiz, Thibaut Ajdler

The sampling and interpolation of a sound field in two and three dimensions along a circle is discussed. The Fourier domain representation of the sound field is used, and an angular sampling theorem is developed for the sampling of the sound field along a ...

2008

Nonideal Sampling and Regularization Theory

Michaël Unser, Dimitri Nestor Alice Van De Ville, Thierry Blu, Sathish Ramani

Shannon's sampling theory and its variants provide effective solutions to the problem of reconstructing a signal from its samples in some “shift-invariant” space, which may or may not be bandlimited. In this paper, we present some further justification for ...

IEEE2008

Subspace-Based Methods for Image Registration and Super-Resolution

Martin Vetterli, Loïc Arnaud Baboulaz, Patrick Vandewalle, Pier Luigi Dragotti

Super-resolution algorithms combine multiple low resolution images into a single high resolution image. They have received a lot of attention recently in various application domains such as HDTV, satellite imaging, and video surveillance. These techniques ...

2008

A Fast Thresholded Landweber Algorithm for Wavelet-Regularized Multidimensional Deconvolution

Michaël Unser, Cédric René Jean Vonesch

We present a fast variational deconvolution algorithm that minimizes a quadratic data term subject to a regularization on the

\ell ^{ 1 }

-norm of the wavelet coefficients of the solution. Previously available methods have essentially consisted in alte ...

IEEE2008

Dynamic PET Reconstruction Using Wavelet Regularization with Adapted Basis Functions

Michaël Unser, Dimitri Nestor Alice Van De Ville, Ildar Khalidov

Tomographic reconstruction from positron emission tomography (PET) data is an ill-posed problem that requires regularization. An attractive approach is to impose an

\ell_{ 1 }

-regularization constraint, which favors sparse solutions in the wavelet dom ...

Institute of Electrical and Electronics Engineers2008

Short Basis Functions for Constant-Variance Interpolation

Michaël Unser, Philippe Thévenaz, Thierry Blu

An interpolation model is a necessary ingredient of intensity-based registration methods. The properties of such a model depend entirely on its basis function, which has been traditionally characterized by features such as its order of approximation and it ...

SPIE2008

Fast Computation of Polyharmonic B-Spline Autocorrelation Filters

Michaël Unser, Dimitri Nestor Alice Van De Ville, Thierry Blu, Yann Barbotin

A fast computational method is given for the Fourier transform of the polyharmonic B-spline autocorrelation sequence in d dimensions. The approximation error is exponentially decaying with the number of terms taken into account. The algorithm improves spee ...

Institute of Electrical and Electronics Engineers2008

A Fast Thresholded Landweber Algorithm for General Wavelet Bases: Application to 3D Deconvolution Microscopy

Michaël Unser, Cédric René Jean Vonesch

Wavelet-domain

ℓ _{ 1 }

-regularization is a promising approach to deconvolution. The corresponding variational problem can be solved using a “thresholded Landweber” (TL) algorithm. While this iterative procedure is simple to implement, it is known to ...

IEEE2008

IMAGING - Administration

Graph Chatbot

Chat with Graph Search

Interpolation and Symbol Elimination

On Sampling Lattices with Similarity Scaling Relationships

Sound Field Analysis Along a Circle and its Application to HRTF Interpolation

Nonideal Sampling and Regularization Theory

Subspace-Based Methods for Image Registration and Super-Resolution

A Fast Thresholded Landweber Algorithm for Wavelet-Regularized Multidimensional Deconvolution

Dynamic PET Reconstruction Using Wavelet Regularization with Adapted Basis Functions

Short Basis Functions for Constant-Variance Interpolation

Fast Computation of Polyharmonic B-Spline Autocorrelation Filters

A Fast Thresholded Landweber Algorithm for General Wavelet Bases: Application to 3D Deconvolution Microscopy

Interpolation and Symbol Elimination

Sound Field Analysis Along a Circle and its Application to HRTF Interpolation

Nonideal Sampling and Regularization Theory

Subspace-Based Methods for Image Registration and Super-Resolution

A Fast Thresholded Landweber Algorithm for Wavelet-Regularized Multidimensional Deconvolution

Fast Computation of Polyharmonic B-Spline Autocorrelation Filters

A Fast Thresholded Landweber Algorithm for General Wavelet Bases: Application to 3D Deconvolution Microscopy

Dynamic PET Reconstruction Using Wavelet Regularization with Adapted Basis Functions

Short Basis Functions for Constant-Variance Interpolation

On Sampling Lattices with Similarity Scaling Relationships