4460 search results - page 177 / 892 » Formal methods for interactive systems |
131
Voted
ICPR
2002
IEEE
15 years 9 months ago
2002
IEEE
Fig.1 Arbitrary novel viewpoint and multiple positions of omnidirectional camera. Recently, the interactive walkthrough which enables us to look around a virtualized real world ha...
108
click to vote
AIIDE
2007
15 years 6 months ago
2007
Interactive Storytelling (IS) systems are an emerging class of interactive entertainment applications with emphasis in narrative aspects. This paper deals with stories that have p...
172
Voted
CLIMA
2006
15 years 5 months ago
2006
We present a multi-agent formalism based on extended answer set programming. The system consists of independent agents connected via a communication channel, where knowledge and be...
155
click to vote
ESOP
2003
Springer
15 years 9 months ago
2003
Springer
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. With browsers, consumers can whimsically navigate among t...
123
click to vote
VRML
2009
ACM
15 years 10 months ago
2009
ACM
This work discusses a model and an architecture for interactive stories to be displayed on the net, designed for being independent from the specific story represented and suitabl...