7978 search results - page 387 / 1596 » Combining shared-coin algorithms |
171
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
184
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
: Differential evolutionary (DE) mutates solution vectors by the weighted difference of other vectors using arithmetic operations. As these operations cannot be directly extended t...
155
click to vote
AIME
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Most test-selection algorithms currently in use with probabilistic networks select variables myopically, that is, test variables are selected sequentially, on a one-by-on...
165
click to vote
PAKDD
2007
ACM
16 years 25 days ago
2007
ACM
The co-association (CA) matrix was previously introduced to combine multiple partitions. In this paper, we analyze the CA matrix, and address its difference from the similarity ma...
171
click to vote
CEC
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract- Sequential parameter optimization is a heuristic that combines classical and modern statistical techniques to improve the performance of search algorithms. To demonstrate...