2377 search results - page 358 / 476 » Hybrid Systems in TLA |
208
click to vote
MTV
2007
IEEE
16 years 19 days ago
2007
IEEE
Abstract—Abstract models of analog/mixed-signal (AMS) circuits can be used for formal verification and system-level simulation. The difficulty of creating these models preclude...
168
click to vote
VR
2007
IEEE
16 years 19 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...
161
click to vote
HVC
2007
Springer
16 years 15 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...
145
click to vote
KI
2007
Springer
16 years 15 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 ...
185
click to vote
3DPVT
2006
IEEE
16 years 13 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...