We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
Abstract. To inform the design of interactive drama systems, we investigate the experience of an interactor being part of a story that they can have a fundamental influence on. Im...
With the increasing number of prototypes and market applications of interactive storytelling, the understanding and optimization of how end users respond to computer-mediated inter...
Ivar E. Vermeulen, Christian Roth, Peter Vorderer,...
This paper proposes an Agent Traveler Information Server for a daily trip in an urban area. It is based on the multi-agent paradigm and is using the Environment as Active Support o...
In this paper we introduce Structured Local Predictors (SLP) – A new formulation that considers the image labelling problem from a structured learning point of view. SLP are loc...