4987 search results - page 225 / 998 » Support Ordered Resolution |
144
click to vote
ICCAD
2010
IEEE
15 years 2 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...
166
click to vote
ICIP
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper a new solution for the single sample problem in low resolution face recognition is proposed. The proposed solution uses an enhanced virtual pose generation method to...
135
click to vote
ICIP
2009
IEEE
15 years 2 months ago
2009
IEEE
A novel framework for spatially estimating unknown image data is presented. Common applications include inpainting, concealment of transmission errors, prediction in video coding,...
267
click to vote
ICDAR
2011
IEEE
14 years 3 months ago
2011
IEEE
—In this paper, we present a novel approach for super-resolved binarization of document images acquired by low quality devices. The algorithm tries to compute the super resolutio...
165
click to vote
SODA
2012
ACM
13 years 6 months ago
2012
ACM
We resolve the problem of small-space approximate selection in random-order streams. Specifically, we present an algorithm that reads the n elements of a set in random order and ...