Sciweavers

2546 search results - page 245 / 510
» Designing the Future
Sort
View
GI
2009
Springer
15 years 11 months ago
Strategic Interaction Definition Language
: Managing general game playing is the problem addressed in this paper. It is considered to be done on a game description written in a declarative language. The language, which is ...
Rustam Tagiew
3DPVT
2004
IEEE
151views Visualization» more  3DPVT 2004»
15 years 11 months ago
Spacetime-Coherent Geometry Reconstruction from Multiple Video Streams
By reconstructing time-varying geometry one frame at a time, one ignores the continuity of natural motion, wasting useful information about the underlying video-image formation pr...
Marcus A. Magnor, Bastian Goldlücke
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 11 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
APN
2003
Springer
15 years 11 months ago
The Petri Net Markup Language: Concepts, Technology, and Tools
The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. In order to support different versions of Petri nets and, in particular, future versions of ...
Jonathan Billington, Søren Christensen, Kee...
NLP
2000
15 years 11 months ago
Dialogues for Embodied Agents in Virtual Environments
This paper is a progress report on our research, design, and implementation of a virtual reality environment where users (visitors, customers) can interact with agents that help th...
Rieks op den Akker, Anton Nijholt