1813 search results - page 222 / 363 » Instance Pruning Techniques |
150
click to vote
JSAT
2006
15 years 6 months ago
2006
Many SAT instances can be decomposed into connected components either initially after preprocessing or during the solution phase when new unit conflict clauses are learned. This o...
178
click to vote
INFORMS
2007
15 years 6 months ago
2007
— We describe the development and testing of a metaheuristic procedure, based on the scatter search methodology, for the problem of approximating the efficient frontier of nonlin...
126
click to vote
IJDAR
2000
15 years 6 months ago
2000
Our proposed approach to text and line-art extraction requires accurately locating a text-string box and identifying external line vectors incident on the box. The results of extra...
161
click to vote
TIT
2002
15 years 6 months ago
2002
Abstract-- This paper starts a systematic study of capacityachieving sequences of low-density parity-check codes for the erasure channel. We introduce a class Aof analytic function...
186
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
Abstract-- We present a global scheduling framework for synchronous data flow (SDF) streaming applications on MPSoCs, based on optimized computation and contention-free routing. Th...