Learning Summaries of Recursive Functions.

Yu-Fang Chen Bow-Yaw Wang Kai-Chun Yang

Published in: APSEC (1) (2014)

Keyphrases

inductive inference
learning algorithm
learning process
recursive functions
data sets
reinforcement learning
active learning
unsupervised learning
small number
supervised learning
knowledge acquisition
prior knowledge
mobile robot
learning problems
pattern languages