Publications related to Interpolation and Quantifiers in Ortholattices

Finding Loop Invariants for Programs over Arrays Using a Theorem Prover

We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate first-order invariants containing alternations of quantifiers. The method is based on ...

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

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

Short basis functions for constant-variance interpolation - art. no. 69142L

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 ...

Spie-Int Soc Optical Engineering, Po Box 10, Bellingham, Wa 98227-0010 Usa2008

Regularized interpolation for noisy data

Michaël Unser, Philippe Thévenaz, Sathish Ramani

Interpolation is a vital tool in biomedical signal processing. Although there exists a substantial literature dedicated to noise-free conditions, much less is known in the presence of noise. Here, we document the breakdown of standard interpolation for noi ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2007

Regularized Interpolation for Noisy Data

Michaël Unser, Philippe Thévenaz, Sathish Ramani

Interpolation is a vital tool in biomedical signal processing. Although there exists a substantial literature dedicated to noise-free conditions, much less is known in the presence of noise. Here, we document the breakdown of standard interpolation for noi ...

IEEE2007

Multiwavelet-Like Bases for High Quality Image Interpolation

Michaël Unser, Thierry Blu

We present a simple but generalized interpolation method for digital images that uses multiwavelet-like basis functions. Most of interpolation methods uses only one symmetric basis function; for example, standard and shifted piecewise-linear interpolations ...

SPIE2003

How a Simple Shift Can Significantly Improve the Performance of Linear Interpolation

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

We present a simple, original method to improve piecewise linear interpolation with uniform knots: We shift the sampling knots by a fixed amount, while enforcing the interpolation property. Thanks to a theoretical analysis, we determine the optimal shift t ...

IEEE2002

Image Interpolation and Resampling

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

This chapter presents a survey of interpolation and resampling techniques in the context of exact, separable interpolation of regularly sampled data. In this context, the traditional view of interpolation is to represent an arbitrary continuous function as ...

Academic Press2000

Interpolation Revisited

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

Based on the theory of approximation, this paper presents a unified analysis of interpolation and resampling techniques. An important issue is the choice of adequate basis functions. We show that, contrary to the common belief, those that perform best are ...

IEEE2000

A recursive method for solving unconstrained tangential interpolation problems

Ali H. Sayed

An efficient recursive solution is presented for the one-sided unconstrained tangential interpolation problem. The method relies on the triangular factorization of a certain structured matrix that is implicitly defined by the interpolation data. The recurs ...

IEEE1999

Interpolation and Quantifiers in Ortholattices

Graph Chatbot

Chat with Graph Search

Finding Loop Invariants for Programs over Arrays Using a Theorem Prover

Short Basis Functions for Constant-Variance Interpolation

Short basis functions for constant-variance interpolation - art. no. 69142L

Regularized interpolation for noisy data

Regularized Interpolation for Noisy Data

Multiwavelet-Like Bases for High Quality Image Interpolation

How a Simple Shift Can Significantly Improve the Performance of Linear Interpolation

Image Interpolation and Resampling

Interpolation Revisited

A recursive method for solving unconstrained tangential interpolation problems

Short Basis Functions for Constant-Variance Interpolation

Short basis functions for constant-variance interpolation - art. no. 69142L

Regularized Interpolation for Noisy Data

Regularized interpolation for noisy data

Multiwavelet-Like Bases for High Quality Image Interpolation

How a Simple Shift Can Significantly Improve the Performance of Linear Interpolation

Image Interpolation and Resampling

Interpolation Revisited

A recursive method for solving unconstrained tangential interpolation problems

Finding Loop Invariants for Programs over Arrays Using a Theorem Prover