Sciweavers

3527 search results - page 336 / 706
» Test Automation in Practice
Sort
View
146
Voted
EVOW
2010
Springer
15 years 11 months ago
Evolving Behaviour Trees for the Commercial Game DEFCON
Abstract. Behaviour trees provide the possibility of improving on existing Artificial Intelligence techniques in games by being simple to implement, scalable, able to handle the c...
Chong-U Lim, Robin Baumgarten, Simon Colton
IAT
2009
IEEE
15 years 11 months ago
Attention Manipulation for Naval Tactical Picture Compilation
This paper discusses and evaluates an agent model that is able to manipulate the visual attention of a human, in order to support naval crew. The agent model consists of four subm...
Tibor Bosse, Rianne van Lambalgen, Peter-Paul van ...
WDAG
2009
Springer
77views Algorithms» more  WDAG 2009»
15 years 11 months ago
Nonblocking Algorithms and Backward Simulation
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
Simon Doherty, Mark Moir
ERCIMDL
2009
Springer
108views Education» more  ERCIMDL 2009»
15 years 11 months ago
Hoppla - Digital Preservation Support for Small Institutions
Small businesses (small office/home office, SOHO) have tremendous amounts of digital information. At the same time, they have little to no expertise on how to manage it, not to me...
Stephan Strodl, Florian Motlik, Andreas Rauber
128
Voted
FM
2009
Springer
106views Formal Methods» more  FM 2009»
15 years 11 months ago
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
Rik Eshuis