TPA: Termination Proved Automatically.

Published in: RTA (2006)

Keyphrases

real time
multimedia
wide range
unsupervised manner
database
databases
machine learning
multiscale
automatically generated
semi automatically