Sciweavers

5580 search results - page 611 / 1116
» Randomized priority algorithms
Sort
View
129
Voted
FATES
2004
Springer
15 years 10 months ago
Online Testing of Real-time Systems Using Uppaal
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
Kim Guldstrand Larsen, Marius Mikucionis, Brian Ni...
138
Voted
IJCNLP
2004
Springer
15 years 10 months ago
A Collaborative Ability Measurement for Co-training
This paper explores collaborative ability of co-training algorithm. We propose a new measurement (CA) for representing the collaborative ability of co-training classifiers based o...
Dan Shen, Jie Zhang, Jian Su, Guodong Zhou, Chew L...
PPSN
2004
Springer
15 years 10 months ago
A Visual Demonstration of Convergence Properties of Cooperative Coevolution
Abstract. We introduce a model for cooperative coevolutionary algorithms (CCEAs) using partial mixing, which allows us to compute the expected long-run convergence of such algorith...
Liviu Panait, R. Paul Wiegand, Sean Luke
137
Voted
AI
2003
Springer
15 years 10 months ago
Iterated Robust Tabu Search for MAX-SAT
MAX-SAT, the optimisation variant of the satisfiability problem in propositional logic, is an important and widely studied combinatorial optimisation problem with applications in ...
Kevin Smyth, Holger H. Hoos, Thomas Stützle
129
Voted
GECCO
2003
Springer
15 years 10 months ago
Selection in the Presence of Noise
For noisy optimization problems, there is generally a trade-off between the effort spent to reduce the noise (in order to allow the optimization algorithm to run properly), and t...
Jürgen Branke, Christian Schmidt 0002