1171 search results - page 119 / 235 » Variable neighborhood search |
CCECE
2006
IEEE
14 years 4 months ago
2006
IEEE
Evolutionary electronics is a brunch of Evolvable Hardware, where the Evolutionary Algorithm is applied towards electronic circuits. The success ofevolutionary search most of all ...
PPSN
2004
Springer
14 years 3 months ago
2004
Springer
Bayesian networks (BN) constitute a useful tool to model the joint distribution of a set of random variables of interest. To deal with the problem of learning sensible BN models fr...
AAAI
2000
13 years 11 months ago
2000
We present a Bayesian clustering algorithm for multivariate time series. A clustering is regarded as a probabilistic model in which the unknown auto-correlation structure of a tim...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
Let Φ be a uniformly distributed random k-SAT formula with n variables and m clauses. We prove that the Walksat algorithm from [16, 17] finds a satisfying assignment of Φ in pol...
MICAI
2000
Springer
14 years 1 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...