1737 search results - page 15 / 348 » On Interpolation in Existence Logics |
CAGD
2007
13 years 11 months ago
2007
The purpose of this paper is to provide sufficient geometric conditions that imply the existence of a cubic parametric polynomial curve which interpolates six points in the plane....
NA
2007
13 years 10 months ago
2007
GC-sets are subsets T of Rd of cardinality dim Πn for which, for each τ ∈ T, there are n hyperplanes whose union contains all of T except for τ, thus making interpolation to a...
POPL
2010
ACM
13 years 11 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 ...
ISCAS
2002
IEEE
14 years 3 months ago
2002
IEEE
The concept of biorthogonal partners has been introduced recently by the authors. The work presented in this paper is an extension of some of these results to the case where the u...
DAC
2008
ACM
14 years 12 months ago
2008
ACM
Boolean function bi-decomposition is a fundamental operation in logic synthesis. A function f(X) is bi-decomposable under a variable partition XA, XB, XC on X if it can be written...