2902 search results - page 114 / 581 » The TheaterLoc Virtual Application |
90
Voted
KIVS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract: Although file and printer sharing services have been deployed almost ubiquitously for a long time as part of Microsoft Windows, only recent peer-to-peer applications pop...
75
Voted
EVOW
2004
Springer
15 years 6 months ago
2004
Springer
This paper proposes four desirable attributes of processes to be applied in generative electronic art. By example, it then demonstrates that the virtual ecosystem in its entirety i...
98
Voted
CA
1999
IEEE
15 years 5 months ago
1999
IEEE
We present a simple method for performing real-time collision detection in a virtual surgery environment. The method relies on the graphics hardware for testing the interpenetrati...
94
Voted
INTERACT
2003
15 years 2 months ago
2003
: VEWL (Virtual Environment Windowing Library) is a library designed to provide a highly flexible interface metaphor for building window-based interfaces within a virtual environme...
ENTCS
2008
15 years 23 days ago
2008
We present an extension to classical separation logic which allows reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover in a manner allowing ...