1737 search results - page 7 / 348 » On Interpolation in Existence Logics |
DAC
2012
ACM
12 years 12 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
15 years 11 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
14 years 7 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...
96
Voted
GIAE
2004
Springer
15 years 2 months 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 ...
65
Voted
CSL
2009
Springer
15 years 4 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...