3053 search results - page 486 / 611 » Hybrid Systems Diagnosis |
VR
2007
IEEE
14 years 4 months ago
2007
IEEE
Anywhere Augmentation pursues the goal of lowering the initial investment of time and money necessary to participate in mixed reality work, bridging the gap between researchers in...
HVC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
KI
2007
Springer
14 years 4 months ago
2007
Springer
The W3C standard OWL provides a decidable language for representing ontologies. While its use is rapidly spreading, efforts are being made by researchers worldwide to augment OWL ...
3DPVT
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents a hybrid modeling system that fuses LiDAR data, an aerial image and ground view images for rapid creation of accurate building models. Outlines for complex bui...
AHS
2006
IEEE
14 years 4 months ago
2006
IEEE
— This invited paper overviews the low level debug support hardware required for an on-chip predeployment debugging system for sensor networks. The solution provides significant...