2843 search results - page 37 / 569 » Interpolation by geometric algorithm |
ICIP
2006
IEEE
14 years 11 months ago
2006
IEEE
In this paper we propose a set of algorithms that combine the anisotropic smoothing using the heat kernel with the outlier rejection capability of robust statistics. The proposed ...
TOG
2002
13 years 9 months ago
2002
Two deficiencies in the original Noise algorithm are corrected: second order interpolation discontinuity and unoptimal gradient computation. With these defects corrected, Noise bo...
CADE
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...
FMCAD
2007
Springer
14 years 4 months ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
ISSAC
2007
Springer
14 years 4 months ago
2007
Springer
The black box algorithm for separating the numerator from the denominator of a multivariate rational function can be combined with sparse multivariate polynomial interpolation alg...