An infinitary variant of Metric Temporal Logic over dense time domains.

Stefano Baratella Andrea Masini

Published in: Math. Log. Q. (2004)

Keyphrases

metric temporal logic
real world
information retrieval
real time
application domains
data mining
learning algorithm
search engine
computer vision
decision trees
image sequences
multiscale
reinforcement learning
video sequences
digital libraries
neural network
cross domain
point to point correspondences
database