675 search results - page 120 / 135 » A parallel search algorithm for CLNS addition optimization |
SC
2003
ACM
15 years 6 months ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
95
Voted
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
Recently, studies with the XCS classifier system on Boolean functions have shown that in certain types of functions simple crossover operators can lead to disruption and, conseque...
104
click to vote
ASPLOS
2000
ACM
15 years 5 months ago
2000
ACM
The emergence of the Internet as a trusted medium for commerce and communication has made cryptography an essential component of modern information systems. Cryptography provides ...
188
Voted
SIGMOD
2008
ACM
16 years 25 days ago
2008
ACM
Existing temporal pattern mining assumes that events do not have any duration. However, events in many real world applications have durations, and the relationships among these ev...
120
Voted
SIGMOD
2004
ACM
16 years 25 days ago
2004
ACM
Peer data management systems (PDMS) offer a flexible architecture for decentralized data sharing. In a PDMS, every peer is associated with a schema that represents the peer's...