693 search results - page 22 / 139 » Minimization and Partitioning Method Reducing Input Sets |
117
click to vote
SAT
2010
Springer
15 years 5 months ago
2010
Springer
Some SAT-solvers are equipped with the ability to produce resolution proofs for problems which are unsatisfiable. Such proofs are used in a variety of contexts, including finding...
136
click to vote
TVCG
2011
14 years 8 months ago
2011
— The growing sizes of volumetric data sets pose a great challenge for interactive visualization. In this paper, we present a feature-preserving data reduction and focus+context ...
143
click to vote
ATS
2004
IEEE
15 years 5 months ago
2004
IEEE
Test data volume and scan power are two major concerns in SoC test. In this paper we present an alternative run-length coding method through scan chain reconfiguration to reduce b...
132
Voted
ICAI
2004
15 years 2 months ago
2004
-- Combination of multiple clusterings is an important task in the area of unsupervised learning. Inspired by the success of supervised bagging algorithms, we propose a resampling ...
105
click to vote
HM
2007
Springer
15 years 7 months ago
2007
Springer
This paper deals with the Permutation Flow Shop scheduling problem with the objective of minimizing total flow time, and therefore reducing in-process inventory. A new hybrid meta...