1052 search results - page 48 / 211 » Foundations for Virtual Types |
126
Voted
CCS
1998
ACM
15 years 7 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...
155
Voted
CW
2006
IEEE
15 years 8 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...
121
Voted
ICAT
2006
IEEE
15 years 8 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...
127
Voted
VR
2008
IEEE
15 years 2 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...
132
Voted
COSIT
1995
Springer
15 years 6 months 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...