2364 search results - page 350 / 473 » On O-Minimal Hybrid Systems |
165
click to vote
HVC
2007
Springer
16 years 19 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...
150
click to vote
KI
2007
Springer
16 years 19 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 ...
188
click to vote
3DPVT
2006
IEEE
16 years 17 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...
186
click to vote
AHS
2006
IEEE
16 years 17 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...
147
click to vote
CIBCB
2006
IEEE
16 years 17 days ago
2006
IEEE
- The advanced protein profiling technologies can simultaneously resolve and analyze multiple proteins. Evaluating multiple proteins will be essential to establish signature proteo...