Sciweavers

8469 search results - page 228 / 1694
» An Agent-Environment Interaction Model
Sort
View
TC
2008
15 years 6 months ago
The Algebra of Connectors - Structuring Interaction in BIP
We provide an algebraic formalization of connectors in the BIP component framework. A connector relates a set of typed ports. Types are used to describe different modes of synchron...
Simon Bliudze, Joseph Sifakis
176
Voted
ENTCS
2010
111views more  ENTCS 2010»
15 years 4 months ago
Modular Verification of Interactive Systems with an Application to Biology
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....
Peter Drábik, Andrea Maggiolo-Schettini, Pa...
INTETAIN
2009
Springer
16 years 1 months ago
An Experiment in Improvised Interactive Drama
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...
Ivo Swartjes, Mariët Theune
ICIDS
2010
Springer
15 years 4 months ago
Measuring User Responses to Interactive Stories: Towards a Standardized Assessment Tool
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,...
ESAW
2005
Springer
16 years 4 days ago
Agent Information Server: A Middleware for Traveler Information
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...
Mahdi Zargayouna, Flavien Balbo, Julien Saunier