4190 search results - page 60 / 838 » Implementing commitment-based interactions |
INTERACT
2003
14 years 11 months ago
2003
: In this paper we report on the progress of an international EU/IMS research project to develop an Immersive free-form Design Application using Virtual Reality and Haptic Immersio...
ACMDIS
1997
ACM
15 years 2 months ago
1997
ACM
The paper describes lessons learned about the design of a form for interactive narrative. The lessons are based on an initial prototype and have ramifications for both a next-step...
STORYTELLING
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes how conversational expressive agents can be used in the context of Interactive Drama. This integration requires some automatic tagging of the generated text, a...
ICECCS
2002
IEEE
15 years 3 months ago
2002
IEEE
Distributed Java applications represent a large growth area in software. Validating such applications using information from runtime interactions is a challenge. We propose techni...
CPP
2011
13 years 10 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...