Lazy abstraction.

Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Grégoire Sutre

Published in: POPL (2002)

Keyphrases

high level
lazy learning
neural network
cooperative
data abstraction
data sets
decision making
inductive learning
databases
training data
expert systems
medical images