12825 search results - page 2266 / 2565 » Improved PLSOM algorithm |
169
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
155
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
An ever-growing infrastructure, including existing and newly built power plants, as well as a rising environmental awareness in society call for inspection and maintenance systems...
127
click to vote
ESA
2010
Springer
15 years 5 months ago
2010
Springer
The inability to answer proximity queries efficiently for spaces of dimension d > 2 has led to the study of approximation to proximity problems. Several techniques have been pro...
115
Voted
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
This paper discusses the effects of mutation and directed intervention crossover approaches when applied to the derivation of cancer chemotherapy treatment schedules. Unlike trad...
149
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
This paper focuses on the study of the behavior of a genetic algorithm based classifier system, the Adapted Pittsburgh Classifier System (A.P.C.S), on maze type environments con...