Automatically learning shape specifications.

He Zhu Gustavo Petri Suresh Jagannathan

Published in: PLDI (2016)

Keyphrases

learning process
online learning
active learning
learning algorithm
learning scheme
neural network
previously unseen
prior knowledge
data sets
artificial neural networks
unsupervised learning
learning systems
mobile learning
learning problems
incremental learning
decision trees
unsupervised manner