2266 search results - page 394 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
IEEECIT
2006
IEEE
15 years 7 months ago
2006
IEEE
Service-oriented architecture (SOA) making the interactions between applications much easier, but the service delay and unstable network will block the whole business process. Rep...
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
System-on-chip and system-in-package result in increased number of I/O cells and complicated constraints for both chip designs and package designs. This renders the traditional ma...
110
click to vote
ICLP
2004
Springer
15 years 7 months ago
2004
Springer
Arc-Consistency (AC) techniques have been used extensively in the study of Constraint Satisfaction Problems (CSP). These techniques are used to simplify the CSP before or during th...
COCO
1998
Springer
15 years 5 months ago
1998
Springer
We define probabilistic martingales based on randomized approximation schemes, and show that the resulting notion of probabilistic measure has several desirable robustness propert...
141
click to vote
CIAC
1994
Springer
15 years 5 months ago
1994
Springer
We consider the problem of maintaining a binary search tree (BST) that minimizes the average access cost needed to satisfy randomly generated requests. We analyze scenarios in whi...