This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
In this paper, we present a simple and robust Mixed Reality (MR) framework that allows for real-time interaction with Virtual Humans in real and virtual environments under consist...
Arjan Egges, George Papagiannakis, Nadia Magnenat-...
Interactive virtual characters are nowadays commonplace in games, animations, and Virtual Reality (VR) applications. However, relatively few work has so far considered the animatio...
Matthias Weber, Guido Heumer, Heni Ben Amor, Bernh...
: The aim of all education is to apply what we learn in different contexts and to recognise and extend this learning to new situations. Virtual learning environments can used to bu...
The World Wide Web (WWW) is a rapidly growing distributed hypertext on the Internet. This paper presents a way to enable users to navigate the WWW spatially by providing a spatial...