7766 search results - page 1448 / 1554 » Testing Nondeterminate Systems |
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
Bots for Real Time Strategy (RTS) games provide a rich challenge to implement. A bot controls a number of units that may have to navigate in a partially unknown environment, while...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
This paper describes an agent-based platform for the allocation of loads in distributed transportation logistics, developed as a collaboration between CWI, Dutch National Center f...
DICS
2006
13 years 11 months ago
2006
Achieving software reliability takes many complementary techniques, directed at the process or at the products. This survey summarizes some of the most fruitful ideas. 1 OVERVIEW ...
CLEF
2008
Springer
13 years 11 months ago
2008
Springer
In this paper we will briefly describe the approaches taken by Berkeley for the main GeoCLEF 2008 tasks (Mono and Bilingual retrieval). The approach this year used probabilistic t...
CSEE
2008
Springer
13 years 11 months ago
2008
Springer
This paper describes an evaluation of a new game concept, Lecture Quiz, which can be used in lectures in higher education to promote strong student participation and variation in ...