5675 search results - page 776 / 1135 » Exploiting Chaos for Computation |
196
Voted
BIRTHDAY
2009
Springer
16 years 2 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
214
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
The success of a genetic programming system in solving a problem is often a function of the available computational resources. For many problems, the larger the population size an...
242
click to vote
RECOMB
2007
Springer
16 years 1 months ago
2007
Springer
Publicly-available data sets provide detailed and large-scale information on multiple types of molecular interaction networks in a number of model organisms. These multi-modal univ...
250
click to vote
AFRIGRAPH
2006
ACM
16 years 1 months ago
2006
ACM
The computation of high-fidelity images in real-time remains one of the key challenges for computer graphics. Recent work has shown that by understanding the human visual system,...
236
click to vote
APPT
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Grid computing is becoming a mainstream technology for multiinstitutional distributed resources sharing and system integration. Normally, the programmer's productivi...