17366 search results - page 433 / 3474 » New Revision Algorithms |
156
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We offer a new understanding of some aspects of practical SAT-solvers that are based on DPLL with unit-clause propagation, clause-learning, and restarts. On the theoreti...
179
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
The focus of this paper is on how to design evolutionary algorithms (EAs) for solving stochastic dynamic optimization problems online, i.e. as time goes by. For a proper design, t...
209
click to vote
PCM
2005
Springer
16 years 11 days ago
2005
Springer
Since the H.264 video coding standard becomes quite popular for transmission of diverse multimedia data due to its high coding efficiency, bit allocation and buffer management sche...
186
click to vote
EUROCAST
2003
Springer
16 years 3 days ago
2003
Springer
In this paper we introduce a new generic selection method for Genetic Algorithms. The main difference of this selection principle in contrast to conventional selection models is g...
173
click to vote
SACRYPT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Inthis paper we present several weaknesses in the keyscheduling algorithm of RC4, and describe their cryptanalytic signi cance. We identify a large number of weak keys, i...