1738 search results - page 112 / 348 » Local Consistency and SAT-Solvers |
149
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...
161
Voted
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
EnsemBlue is a distributed file system for personal multimedia that incorporates both general-purpose computers and consumer electronic devices (CEDs). EnsemBlue leverages the cap...
167
click to vote
ICASSP
2009
IEEE
16 years 16 days ago
2009
IEEE
This paper deals with the reconstruction of smooth, flexible, isometrically embedded flat surfaces in 3D, such as a sheet of paper or a flag waving in the wind, from a set of 2...
161
click to vote
ICPR
2010
IEEE
16 years 12 days ago
2010
IEEE
This paper presents a non-rigid registration method for the restoration of double-sided historical manuscripts. Firstly, the gradient direction maps of the two images of a manuscr...
148
click to vote
ICMCS
2007
IEEE
16 years 3 days ago
2007
IEEE
EROS is the largest database in the world of high resolution art pictures. The TSAR project is designed to open it in a secure, efficient and user-friendly way that involves cryp...