2266 search results - page 393 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
109
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
100
click to vote
STOC
2001
ACM
16 years 1 months ago
2001
ACM
This article introduces and explores the condition-based approach to solve the consensus problem in asynchronous systems. The approach studies conditions that identify sets of inpu...
137
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Given a pair of images represented using bag-of-visual words and a label corresponding to whether the images are “related”(must-link constraint) or “unrelated” (must not li...
ICCAD
2008
IEEE
15 years 10 months ago
2008
IEEE
In double patterning lithography (DPL) layout decomposition for 45nm and below process nodes, two features must be assigned opposite colors (corresponding to different exposures)...
115
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
Energy management is a critical concern in the design of embedded systems to prolong the lifetime or to maximize the performance under energy constraints. In particular, the emerg...