2843 search results - page 18 / 569 » Interpolation by geometric algorithm |
TC
2002
13 years 9 months ago
2002
We present a new multivariate interpolation algorithm over arbitrary fields which is primarily suited for small finite fields. Given function values at arbitrary t points, we show ...
SIAMCO
2000
13 years 9 months ago
2000
Positive real rational functions play a central role in both deterministic and stochastic linear systems theory, as well as in circuit synthesis, spectral analysis, and speech proc...
TACAS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inconsistent with B, and (3) expressed over the common ...
ICIP
2008
IEEE
14 years 4 months ago
2008
IEEE
Image interpolation is a well-studied signal processing application that continues to receive substantial attention from the research community. It has been recognized that taking...
ICCAD
2010
IEEE
13 years 7 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...