304 search results - page 17 / 61 » Generalized interpolation in CASL |
JOC
2011
14 years 21 days ago
2011
This paper is devoted to the design and analysis of short undeniable signatures based on a random oracle. Exploiting their online property, we can achieve signatures with a fully s...
122
click to vote
SIBGRAPI
2009
IEEE
15 years 4 months ago
2009
IEEE
—We present the Hermite radial basis function (HRBF) implicits method to compute a global implicit function which interpolates scattered multivariate Hermite data (unstructured p...
ISSAC
2007
Springer
15 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...
POPL
2010
ACM
14 years 10 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
Empirical filter designs generalize relationships inferred from training data to effect realistic solutions that conform well to the human visual system. Complex algorithms invol...