547 search results - page 23 / 110 » Alternate reality gaming |
LICS
2010
IEEE
13 years 7 months ago
2010
IEEE
Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role, among others, ...
IJFCS
2008
13 years 8 months ago
2008
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
VR
2010
IEEE
13 years 7 months ago
2010
IEEE
Children with autism show substantial benefits from rigorous physical activity, however it is often difficult to motivate these individuals to exercise due to their usually sede...
MIXER
2004
13 years 10 months ago
2004
The main characteristic of a mobile collaborative Mixed Reality (MR) system is that augmentation of the physical environment of one user occurs through available knowledge of wher...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
Nowadays, distributed collaborative virtual environments are used in many scenarios such as tele-surgery, gaming, and industrial training, However several challenging issues remai...