1737 search results - page 15 / 348 » On Interpolation in Existence Logics |
91
Voted
CAGD
2007
15 years 18 days 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....
87
Voted
NA
2007
15 years 3 days 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...
106
click to vote
POPL
2010
ACM
15 years 24 days 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 ...
75
Voted
ISCAS
2002
IEEE
15 years 5 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...
103
Voted
DAC
2008
ACM
16 years 1 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...