1171 search results - page 119 / 235 » Variable neighborhood search |
124
Voted
CCECE
2006
IEEE
15 years 6 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 ...
115
click to vote
PPSN
2004
Springer
15 years 6 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...
105
click to vote
AAAI
2000
15 years 2 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...
100
Voted
CORR
2011
Springer
14 years 4 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...
89
Voted
MICAI
2000
Springer
15 years 4 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...