1737 search results - page 21 / 348 » On Interpolation in Existence Logics |
179
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
156
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
132
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we propose a multiple objective frame rate up conversion algorithm (MOFRUC), which utilizes two different models. The first model is a constant velocity model that ...
235
click to vote
SIBGRAPI
2009
IEEE
16 years 24 days 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...
151
click to vote
FSE
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The complexity of interpolation attacks on block ciphers depends on the degree of the polynomial approximation and or on the number of terms in the polynomial approximati...