2266 search results - page 316 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
148
Voted
CIKM
2006
Springer
15 years 7 months ago
2006
Springer
Data stream clustering has emerged as a challenging and interesting problem over the past few years. Due to the evolving nature, and one-pass restriction imposed by the data strea...
143
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes an extension to a speciation-based particle swarm optimizer (SPSO) to improve performance in dynamic environments. The improved SPSO has adopted several prove...
128
Voted
CN
2004
15 years 3 months ago
2004
Distributed Web-server systems have been widely used to provide effective Internet services. The management of these systems requires dynamic controls of the Web traffic. With the...
129
Voted
NIPS
2004
15 years 5 months ago
2004
First-order Markov models have been successfully applied to many problems, for example in modeling sequential data using Markov chains, and modeling control problems using the Mar...
134
Voted
ICGI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present an exact algorithm for identification of deterministic finite automata (DFA) which is based on satisfiability (SAT) solvers. Despite the size of the low level ...