157 search results - page 4 / 32 » Interpolation and Symbol Elimination |
CAV
2008
Springer
13 years 7 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
TACAS
2004
Springer
13 years 11 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
TACAS
2009
Springer
14 years 17 days ago
2009
Springer
Abstract. Given a theory T and two formulas A and B jointly unsatisfiable in T , a theory interpolant of A and B is a formula I such that (i) its non-theory symbols are shared by ...
CGF
2000
13 years 5 months ago
2000
espace interpolation algorithm abstracts motion sequences as 1D signals, and interpolates between them to create higher dimension signals, with weights drawn from a user specified...
ICIP
2009
IEEE
14 years 6 months ago
2009
IEEE
In this paper, a fast one-pass processing method with an efficient architecture is proposed for motion compensated frame interpolation (MCFI) in high-definition (HD) videos. Unlik...