1980 search results - page 334 / 396 » Compositional Model Checking of Real Time Systems |
124
Voted
RTDB
2001
15 years 3 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...
141
Voted
3DGIS
2006
Springer
15 years 8 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...
130
click to vote
IPPS
2003
IEEE
15 years 7 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...
152
click to vote
CIKM
2008
Springer
15 years 4 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...
101
Voted
3DPVT
2006
IEEE
15 years 8 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...