42 search results - page 4 / 9 » An interpolation theorem |
FMCAD
2007
Springer
14 years 1 months ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
294
click to vote
Lecture Notes
"These notes were originally prepared during Fall quarter 2003 for UCSD Math 174, Numerical Methods."
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
NDJFL
1998
13 years 7 months ago
1998
We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer...
ICIP
2007
IEEE
14 years 1 months ago
2007
IEEE
Image magnification has been attracting a great deal of attention for long, and many approaches have been proposed to date. Nevertheless, bicubic interpolation is still the stand...