Verification of Equivalent-Results Methods.

K. Rustan M. Leino Peter Müller

Published in: ESOP (2008)

Keyphrases

computational cost
statistical models
data sets
databases
data mining
artificial intelligence
social networks
feature selection
e learning
case study
empirical studies
machine learning methods
optimization methods