93 search results - page 4 / 19 » Polynomial interpolation in several variables |
DAGSTUHL
1997
13 years 8 months ago
1997
This survey presents several techniques for solving variants of the following scattered data interpolation problem: given a nite set of N points in R3, nd a surface that interpola...
CADE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
This paper formulates a two-dimensional, piecewise-cubic interpolator that accounts for non-separable and rotationally asymmetric scene statistics. The resulting kernel has five p...
TGIS
2002
13 years 7 months ago
2002
Regularized Spline with Tension (RST) is an accurate, flexible and efficient method for multivariate interpolation of scattered data. This study evaluates its capabilities to inte...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
We analyse and compare the complexity of several algorithms for computing modular polynomials. We show that an algorithm relying on floating point evaluation of modular functions...