Publications related to Interpolation and Quantifiers in Ortholattices

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Finding Loop Invariants for Programs over Arrays Using a Theorem Prover

Laura Ildiko Kovacs

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

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

IEEE2007

Martin Vetterli, Christof Faller, Luciano Sbaiz, Thibaut Ajdler

We are proposing an interpolation technique for head related transfer functions (HRTFs). For deriving the algorithm we study the dual problem where sound is emitted from the listener’s ear and the generated sound field is recorded along a circular array of ...

2005

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

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

Head Related Transfer Functions Interpolation Considering Acoustics

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

Finding Loop Invariants for Programs over Arrays Using a Theorem Prover

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

Regularized interpolation for noisy data

Image Interpolation and Resampling

Interpolation Revisited

Short Basis Functions for Constant-Variance Interpolation

Head Related Transfer Functions Interpolation Considering Acoustics

Regularized Interpolation for Noisy Data

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

Multiwavelet-Like Bases for High Quality Image Interpolation