1980 search results - page 334 / 396 » Compositional Model Checking of Real Time Systems |
RTDB
2001
13 years 10 months ago
2001
A database system contains base data items which record and model a physical, real world environment. For better decision support, base data items are summarized and correlated to...
3DGIS
2006
Springer
14 years 3 months ago
2006
Springer
The needs for three-dimensional (3D) visualization and navigation within 3D-GIS environment are growing and expanding rapidly in a variety of fields. In a steady shift from tradit...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
Today, in many practical E-Commerce systems, the real stored data usually are short strings, such as names, addresses, or other information. Searching data within these short stri...
CIKM
2008
Springer
13 years 11 months ago
2008
Springer
Continuous time-series sequence matching, specifically, matching a numeric live stream against a set of predefined pattern sequences, is critical for domains ranging from fire spr...
3DPVT
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents a method for obtaining accurate dense elevation and appearance models of terrain using a single camera on-board an aerial platform. Applications of this method...