Monotonicity Analysis Can Speed Up Verification.

Marcelo F. Frias Rodolfo Gamarra Gabriela Steren Lorena Bourg

Published in: RelMiCS (2006)

Keyphrases

statistical analysis
real time
feature extraction
data analysis
neural network
website
case study
information technology
relational databases