3073 search results - page 129 / 615 » Real World Verification |
EHCI
2001
13 years 11 months ago
2001
Systems combining the real and the virtual are becoming more and more prevalent. The Augmented Reality (AR) paradigm illustrates this trend. In comparison with traditional interact...
IVEVA
2004
13 years 11 months ago
2004
This paper briefly describes our proposal for storytelling in virtual environments from a virtual guide perspective. In our model the guide begins at a particular location and star...
JCIT
2008
13 years 10 months ago
2008
Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditi...
JC
2000
13 years 10 months ago
2000
This paper provides verification procedures for a number of decision problems in quadratic function fields of odd characteristic, thereby establishing membership of these problems...
HUC
2005
Springer
14 years 3 months ago
2005
Springer
We describe the results of a field deployment of the AURA system which links online content to physical objects through machine readable tags. AURA runs on commercially available p...