The Gauge Domain: Scalable Analysis of Linear Inequality Invariants.

Published in: CAV (2012)

Keyphrases

database
metadata
case study
real time
data mining
feature selection
clustering algorithm
domain specific
statistical analysis
cross domain
linear constraints