1052 search results - page 48 / 211 » Foundations for Virtual Types |
CCS
1998
ACM
14 years 1 months ago
1998
ACM
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...
CW
2006
IEEE
14 years 3 months ago
2006
IEEE
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...
ICAT
2006
IEEE
14 years 3 months ago
2006
IEEE
Interactive virtual characters are nowadays commonplace in games, animations, and Virtual Reality (VR) applications. However, relatively few work has so far considered the animatio...
VR
2008
IEEE
13 years 9 months ago
2008
IEEE
: 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...
COSIT
1995
Springer
14 years 18 days ago
1995
Springer
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...