505 search results - page 47 / 101 » Efficient Temporal Join Processing Using Indices |
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
Visual tracking is one of the key tasks in computer vision. The particle filter algorithm has been extensively used to tackle this problem due to its flexibility. However the conv...
VLDB
2002
ACM
13 years 8 months ago
2002
ACM
RTMonitor is a real-time data management system for traffic navigation applications. In our system, mobile vehicles initiate time-constrained navigation requests and RTMonitor cal...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
Joint source-channel coding of scalable video using motion-compensated temporal filtering is considered. The proposed coding scheme consists of a structured vector quantizer based ...
Publication
Spatio-temporal data streams that are generated from mobile stream sources (e.g., mobile sensors) experience similar environmental conditions that result in distinct phenomena. Sev...
CHARME
2001
Springer
14 years 4 days ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...