Mining assumptions for synthesis.

Wenchao Li Lili Dworkin Sanjit A. Seshia

Published in: MEMOCODE (2011)

Keyphrases

pattern mining
web mining
mining algorithm
data mining
knowledge discovery
sequential patterns
association rule mining
statistical inference
databases
frequent itemsets
natural language processing
association rules
bayesian networks
image processing
computer vision
artificial intelligence
real world
neural network