1737 search results - page 7 / 348 » On Interpolation in Existence Logics |
DAC
2012
ACM
11 years 9 months ago
2012
ACM
Unknown values (Xs) may exist in a design due to uninitialized registers or blocks that are powered down. Due to X-pessimism in gate-level logic simulation, such Xs cannot be hand...
ICIP
1998
IEEE
14 years 9 months ago
1998
IEEE
Standard methods for image interpolation are based on smoothly fitting the image intensity surface. Recent edgedirected interpolation methods add limited geometric information (ed...
ICMCS
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper presents a new directional image interpolator, aiming to increase image resolution with high perceptual quality and low computational complexity. In our method, missing...
GIAE
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. This paper introduces the mathematical framework of conformal geometric algebra (CGA) as a language for computer graphics and computer vision. Specifically it discusses ...
CSL
2009
Springer
14 years 2 months ago
2009
Springer
We study Craig interpolation for fragments and extensions of propositional linear temporal logic (PLTL). We consider various fragments of PLTL obtained by restricting the set of te...