Anton Eliëns

Learn More
In this paper we propose a scripting language, called STEP, for embodied agents, in particular for their communicative acts like gestures and postures. Based on the formal semantics of dynamic logics, STEP has a solid semantic foundation, in spite of a rich number of variants of the compositional operators and interaction facilities on the worlds. STEP has(More)
Preface This thesis could not have been written without the help and inspiration of many people around me. At the Vrije Universiteit, I was in an interesting environment with many different ideas. I want to thank Gerrit van der Veer, Anton Eliëns and Hans van Vliet for their enthusiasm and how they enriched my research by showing me their perspectives.(More)
Web-based 3D virtual environments suffer from the classic problem of users getting ’lost-in-cyberspace’. Apart from getting lost, it is hard for an average user to discover all that a specific world has to offer without spending considerable time exploring that world. In order to remedy this situation we propose navigation by query. The user interface for(More)
This paper describes a tool EUTERPE that offers support for analyzing cooperative environments. The support is based on a formal analysis of the task model and can be done both on a logical and a visual level. An analysis of a cooperative environment requires a model that can formally describe the task world and that allows meaningful analysis to be done.(More)
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages for embodied agents, many of which are of a somewhat ad hoc nature lacking clear semantics. In this paper, we discuss the implementation of a scripting language for humanoid avatars(More)
Business visualization is becoming increasingly important, since managers recognize the power of human visual intuition in information-rich decision tasks. Nevertheless, despite its promises, 3D visualizations are far less common than one would expect. In this paper, we describe a case study where we took a 2D visualization of a business process as a(More)