Efficient Similarity Join of Large Sets of Moving Object Trajectories

Authors:
Hui Ding;Goce Trajcevski;Peter Scheuermann
Affiliations:
-;-;-
Venue:
TIME '08 Proceedings of the 2008 15th International Symposium on Temporal Representation and Reasoning
Year:
2008

Citing 0
Cited 3

Shape-based indexing scheme for camera view invariant 3-D object retrieval

Multimedia Tools and Applications
A Kalman filter updating method for the indoor moving object database

Expert Systems with Applications: An International Journal
Hierarchical querying scheme of human motions for smart home environment

Engineering Applications of Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfiability problem and algorithms for deciding it.