Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring.

Konstantinos Mamouras Agnishom Chattopadhyay Zhifu Wang

Published in: TACAS (1) (2021)

Keyphrases

real time
monitoring system
data structure
online learning
computationally expensive
formal semantics
temporal constraints
database
learning algorithm
neural network
temporal information
data mining
temporal data
temporal databases
early warning
temporal dimension
temporal analysis