Semantics-Aware Warehousing of Symbolic Trajectories.

Goce Trajcevski Ivana Donevska Alejandro A. Vaisman Besim Avci Tian Zhang Di Tian

Published in: IWGS (2015)

Keyphrases

model checking
binary decision diagrams
formal semantics
semantic information
moving objects
belief revision
moving object trajectories
data warehouse
logic programming
default reasoning
trajectory data
genetic algorithm
high level
image sequences
symbolic representation