1737 search results - page 4 / 348 » On Interpolation in Existence Logics |
ICCAD
2010
IEEE
13 years 5 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
EMMCVPR
2001
Springer
13 years 12 months ago
2001
Springer
—Geodesic spline interpolation is a simple and efficient approach for landmark matching by nonambiguous mappings (diffeomorphisms), combining classic spline interpolation and ...
AMDO
2008
Springer
13 years 9 months ago
2008
Springer
This paper presents a method of interpolating between two or more general displacements (rotation and translation). The resulting interpolated path is smooth and possesses a number...
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
Interpolated images have data redundancy, and special correlation exists among neighboring pixels, which is a crucial clue in digital forensics. We design a neural network based f...
IPL
2000
13 years 7 months ago
2000
In this paper we consider the partial many-sorted first-order logic and its extension to the subsorted partial many-sorted first-order logic that underly the Casl specification fo...