3823 search results - page 606 / 765 » Stability of Hybrid Systems |
165
click to vote
VR
2007
IEEE
16 years 16 days 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...
158
click to vote
HVC
2007
Springer
16 years 13 days 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...
142
click to vote
KI
2007
Springer
16 years 12 days 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 ...
181
Voted
3DPVT
2006
IEEE
16 years 10 days 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...
183
click to vote
AHS
2006
IEEE
16 years 10 days 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...