Compositional timing analysis.

Published in: ICSAMOS (2010)

Keyphrases

database
data mining
decision support
machine learning
data analysis
learning algorithm
np hard
sample size
low complexity
relational databases
np complete
temporal logic