225 search results - page 12 / 45 » Inter-enterprise System and Application Integration: A Reali... |
ISMAR
2009
IEEE
14 years 2 months ago
2009
IEEE
Spatial tracking is one of the most challenging parts of Augmented Reality. Many AR applications rely on the fusion of several tracking systems in order to optimize the overall pe...
CAV
2001
Springer
14 years 11 days ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
RT
1997
Springer
14 years 7 hour ago
1997
Springer
: The advent of computer augmented reality (CAR), in which computer generated objects mix with real video images, has resulted in many interesting new application domains. Providin...
TGC
2005
Springer
14 years 1 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
ISMAR
2003
IEEE
14 years 1 months ago
2003
IEEE
Augmented Reality has now progressed to the point where real-time applications are being considered and needed. At the same time it is important that synthetic elements are render...