To be sociable, embodied interactive agents like virtual characters or humanoid robots need to be able to engage in mutual coordination of behaviors, beliefs, and relationships wit...
Stefan Kopp, Kirsten Bergmann, Hendrik Buschmeier,...
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial comp...
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
An essential step toward the development of an intelligent substation is to provide self-diagnosing capability at the equipment level. Transformers, circuit breakers and other sub...
Rahmat Shoureshi, Tim Norick, David Linder, John W...
A decision support system model is described to advise nature park managers. It applies dynamic modelling techniques to relate abiotic characteristics of a site over time to specie...