261 search results - page 40 / 53 » An Adaptive Evolutionary Algorithm for the Satisfiability Pr... |
BIOSYSTEMS
2007
15 years 15 days ago
2007
Noise and component failure is an increasingly difficult problem in modern electronic design. Bioinspired techniques is one approach that is applied in an effort to solve such is...
96
Voted
RSA
2008
14 years 10 months ago
2008
ABSTRACT: Caching is widely recognized as an effective mechanism for improving the performance of the World Wide Web. One of the key components in engineering the Web caching syste...
94
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
105
Voted
EVOW
2008
Springer
15 years 2 months ago
2008
Springer
Adaptation to dynamic optimization problems is currently receiving a growing interest as one of the most important applications of evolutionary algorithms. In this paper, a compoun...
96
Voted
CPHYSICS
2004
15 years 6 days ago
2004
We introduce here a new method for the numerical resolution of the Vlasov equation on a phase space grid using an adaptive semi-Lagrangian method. The adaptivity is obtained throu...