Sciweavers

7064 search results - page 77 / 1413
» From States to Histories
Sort
View
ICAI
2009
14 years 9 months ago
The Utility of Affect in the Selection of Actions and Goals Under Real-World Constraints
We present a novel affective goal selection mechanism for decision-making in agents with limited computational resources (e.g., such as robots operating under real-time constraint...
Paul W. Schermerhorn, Matthias Scheutz
RTCSA
1999
IEEE
15 years 4 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
ENTCS
2008
90views more  ENTCS 2008»
14 years 12 months ago
A Database Approach to Distributed State Space Generation
We study distributed state space generation on a cluster of workstations. It is explained why state space partitioning by a global hash function is problematic when states contain...
Stefan Blom, Bert Lisser, Jaco van de Pol, Michael...
OZCHI
2006
ACM
15 years 5 months ago
Learning from interactive museum installations about interaction design for public settings
This paper reports on the evaluation of a digitallyaugmented exhibition on the history of modern media. We discuss visitors’ interaction with installations and corresponding int...
Eva Hornecker, Matthias Stifter
DIGRA
2005
Springer
15 years 5 months ago
Narrative Structure in Trans-Reality Role-Playing Games: Integrating Story Construction from Live Action, Table Top and Computer
Trans-reality role-playing games are conceived of as a form of role-playing game evolving from and integrating established table-top, live-action and computer-based role-playing f...
Craig A. Lindley, Mirjam Eladhari