123 search results - page 7 / 25 » Interpolation in Valiant's theory |
ICASSP
2010
IEEE
14 years 9 months ago
2010
IEEE
According to Shannon Sampling Theory, Fourier interpolation is the optimal way to reach subpixel accuracy from a properly-sampled digital image. However, for most images this inte...
MICCAI
1999
Springer
15 years 1 months ago
1999
Springer
Interpolation is required in many medical image processing operations. From sampling theory, it follows that the ideal interpolation kernel is the sinc function, which is of infin...
109
Voted
SPIN
2012
Springer
13 years 3 hour ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...
104
click to vote
CAV
2008
Springer
14 years 11 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...
SIGSOFT
2006
ACM
15 years 3 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...