Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce.

Domenico Bianculli Carlo Ghezzi Srdan Krstic

Published in: CoRR (2014)

Keyphrases

metric temporal logic
cloud computing
high performance data mining
parallel processing
data structure
artificial intelligence
multimedia
distributed computing
distributed processing
database systems
bayesian networks
query processing
hidden markov models
cross modal
multiple modalities