278 search results - page 27 / 56 » Infrastructure for Cross-Layer Designs Interaction |
VRST
2003
ACM
14 years 1 months ago
2003
ACM
Researchers have had great success using motion capture tools for controlling avatars in virtual worlds. Another current of virtual reality research has focused on building collab...
ICFP
2009
ACM
14 years 9 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
Computer-mediated communication systems can be used to bridge the gap between doctors in underserved regions with local shortages of medical expertise and medical specialists worl...
ISWC
1997
IEEE
14 years 26 days ago
1997
IEEE
We describe a prototype system that combines together the overlaid 3D graphics of augmented reality with the untethered freedom of mobile computing. The goal is to explore how the...
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...