203 search results - page 20 / 41 » On interpolation by radial polynomials |
CAV
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
CADE
2009
Springer
14 years 3 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 ...
ICISC
2004
13 years 10 months ago
2004
We propose a new broadcast encryption scheme based on polynomial interpolations. Our scheme, obtained from the Naor-Pinkas scheme by partitioning the user set and interpolating mul...
ICIP
2005
IEEE
14 years 10 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
14 years 2 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 ...