146 search results - page 8 / 30 » Interpolation of Shifted-Lacunary Polynomials |
CADE
2009
Springer
15 years 4 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
15 years 11 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...
WCC
2005
Springer
15 years 3 months ago
2005
Springer
The security of the RSA public key cryptosystem depends on the intractability of the integer factoring problem. This paper shall give some theoretical support to the assumption of ...
AAECC
2005
Springer
14 years 10 months ago
2005
Springer
Abstract We consider a polynomial analogue of the hidden number problem introduced by Boneh andVenkatesan, namely the sparse polynomial noisy interpolation problem of recovering an...
PG
2000
IEEE
15 years 2 months ago
2000
IEEE
The representation of moving geometry entities is an important issue in the fields of CAD/CAM and robotics motion design. We present a method to interpolate the moving frame homog...