430 search results - page 51 / 86 » On Using Satisfiability-Based Pruning Techniques in Covering... |
79
Voted
SDM
2009
SIAM
15 years 7 months ago
2009
SIAM
We show the underpinnings of a method for summarizing documents: it ingests a document and automatically highlights a small set of sentences that are expected to cover the differ...
ICCAD
2009
IEEE
14 years 8 months ago
2009
IEEE
Current logic synthesis techniques are ineffective for arithmetic circuits. They perform poorly for XOR-dominated circuits, and those with a high fan-in dependency between inputs ...
210
click to vote
SISAP
2011
IEEE
14 years 1 months ago
2011
IEEE
In this paper we present a novel technique for nearest neighbor searching dubbed neighborhood approximation. The central idea is to divide the database into compact regions repres...
ICMCS
2010
IEEE
14 years 11 months ago
2010
IEEE
Traditional image steganalysis techniques for classification of steganograhic algorithms are conducted with respect to the entire image. In this work, we aim to design a multi-cla...
ICPR
2002
IEEE
15 years 3 months ago
2002
IEEE
In this paper we introduce a novel graphical image representation comprising a single curve—the one-liner. The first step involves the detection and linking of image edges. We ...