Automated Specification Discovery via User-Defined Predicates.

Guanhua He Shengchao Qin Wei-Ngan Chin Florin Craciun

Published in: ICFEM (2013)

Keyphrases

user defined
data types
query language
automated analysis
query processor
fully automated
discovery process
machine learning
multi dimensional
semi automated
database
data streams
knowledge discovery
pattern discovery
specification language