Linear Absolute Value Relation Analysis.

Liqian Chen Antoine Miné Ji Wang Patrick Cousot

Published in: ESOP (2011)

Keyphrases

evolutionary algorithm
database
real time
information systems
data analysis
data mining
metadata
multimedia
decision trees
preprocessing
lower bound
information technology
relational databases
quantitative analysis
automatic analysis