13183 search results - page 63 / 2637 » Paper or interactive |
112
click to vote
STORYTELLING
2005
Springer
15 years 8 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...
ACRI
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents an application of Cellular Automata in the field of dry Granular Systems modelling. While the study of granular systems is not a recent field, no efficient mo...
155
Voted
CADE
2001
Springer
16 years 2 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...
104
Voted
ENTCS
2008
15 years 2 months ago
2008
This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features...
96
Voted
CHI
1998
ACM
15 years 6 months ago
1998
ACM
In this paper, we propose a multiple-device approach for supporting informal meetings using a digital whiteboard. Traditional digital whiteboard systems often suffer from a limite...