4112 search results - page 599 / 823 » Efficient Algorithms for the Spoonerism Problem |
204
click to vote
ICCAD
2010
IEEE
15 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...
196
click to vote
ICIP
2010
IEEE
15 years 5 months ago
2010
IEEE
Based on the theory of Markov Random Fields, a Bayesian regularization model for diffusion tensor images (DTI) is proposed in this paper. The low-degree parameterization of diffus...
184
click to vote
ICIP
2010
IEEE
15 years 5 months ago
2010
IEEE
The 2.1D sketch is a layered representation of occluding and occluded surfaces of the scene. Extracting the 2.1D sketch from a single image is a difficult and important problem ar...
363
click to vote
ICDE
2003
IEEE
16 years 8 months ago
2003
IEEE
XML data integration tools are facing a variety of challenges for their efficient and effective operation. Among these is the requirement to handle a variety of inconsistencies or...
191
click to vote
ICIP
2009
IEEE
16 years 8 months ago
2009
IEEE
A novel approach is proposed to estimate the parameters of a diffeomorphism that aligns two binary images. Classical approaches usually define a cost function based on a similarit...