2266 search results - page 427 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
116
click to vote
ICCAD
2003
IEEE
15 years 6 months ago
2003
IEEE
This work presents a formal probabilistic approach for solving optimization problems in design automation. Prediction accuracy is very low especially at high levels of design flo...
111
click to vote
ICCV
2003
IEEE
16 years 3 months ago
2003
IEEE
We derive a new class of photometric invariants that can be used for a variety of vision tasks including lighting invariant material segmentation, change detection and tracking, a...
202
click to vote
WIRN
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper presents an Artificial Immune-based optimization technique for solving the economic dispatch problem in a power system. The main role of electrical power utili...
104
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
A high-level security policy states an overall requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires a sensi...
127
click to vote
STOC
2001
ACM
16 years 1 months ago
2001
ACM
The dynamic behavior of a network in which information is changing continuously over time requires robust and efficient mechanisms for keeping nodes updated about new information. ...