The interpolation techniques for the time-of-flight estimation have been under study. The ToF estimation was done using the direct correlation technique of the sampled signal. More accurate estimation was done using interpolation between the samples. Three interpolation techniques for discrete direct correlation are discussed: linear interpolation of zero crossing, imaginary part of direct corr...

We discuss linear methods for interpolation, including nearest neighbor, bilinear, bicubic, splines, and sinc interpolation. We focus on separable interpolation, so most of what is said applies to one-dimensional interpolation as well as N-dimensional separable interpolation. Source Code The source code (ANSI C), its documentation, and the online demo are accessible at the IPOL web page of this...

Spatial interpolation of rain gauge data is important in forcing of hydrological simulations or evaluation of weather predictions, for example. This paper investigates the application of statistical distance, like one minus common variance of observation time series, between data sites instead of geographical distance in interpolation. Here, as a typical representative of interpolation methods ...

Consider a family of functions of a single variable x: Φ(x; a0, a1, . . . , an), where a0, . . . , an are the parameters. The problem of interpolation for Φ can be stated as follows: Given n + 1 real or complex pairs of numbers (xi, fi), i = 0, . . . , n, with xi 6= xk for i 6= k, determine a0, . . . , an such that Φ(xi; a0, . . . , an) = fi, i = 0, . . . , n. The above is a linear interpolatio...

In this paper, we propose two adaptive interlaced-to-progressive conversion techniques in which the adequacy of the estimated motion vector is evaluated. If the motion vector is unlikely to give a good temporal motion compensated interpolation result, spatial interpolation is favored or selected to avoid temporal artifacts. In the rst proposed interlaced-to-progressive conversion technique, cal...

Interpolation is a technique for extracting intermediate formulæ from a proof. It has applications in formal verification, where interpolation may enable a program analyser to discover information about intermediate program locations and states. We study interpolation in the theorem proving method DPLL(Γ+T ), which integrates tightly a superposition based prover Γ in a DPLL(T ) based SMT-solver...

INTRODUCTION Mathematical morphology offers some powerful tools for the image interpolation. The idea of the application of mathematical morphology to the image interpolation has been introduced in 1994 in the Center of Mathematical Morphology of Paris School of Mines. The basics of the morphological interpolation methods and the majority of the interpolation algorithms was developed by J.Serra...

The color filter array (CFA) captures only one-third of the necessary color intensities and the full color image is generated from the captured data by interpolation. In recent years, the algorithm of Bayer patterned image compression based on “structure separation” has achieved better image quality. On the basis of previous work, the algorithm based on the all phase biorthogonal transform (APB...