1965 search results - page 286 / 393 » On the analysis of interacting pushdown systems |
ECSCW
2001
13 years 10 months ago
2001
This paper compares the properties of physical and digital workspaces in the context of a prototype of a collaborative virtual environment that has been developed with reference to...
VISSYM
2004
13 years 10 months ago
2004
Climateprediction.net aims to harness the spare CPU cycles of a million individual users' PCs to run a massive ensemble of climate simulations using an up-to-date, full-scale...
USAB
2007
13 years 10 months ago
2007
Information Visualization (InfoVis) techniques can offer a valuable contribution for the examination of medical data. We successfully developed an InfoVis application – Gravi –...
BIB
2007
13 years 9 months ago
2007
Mathematical modelling is increasingly used to get insights into the functioning of complex biological networks. In this context, Petri nets (PNs) have recently emerged as a promi...
IJVR
2008
13 years 9 months ago
2008
This paper presents an analysis of how and why a new generation of virtual reality peripherals affect virtual reality in general, and its uses for education in particular. We descr...