Refuting Heap Reachability.

Bor-Yuh Evan Chang

Published in: VMCAI (2014)

Keyphrases

data structure
state space
transitive closure
suffix tree
feature selection
databases
learning algorithm
bayesian networks
image database
high level
domain specific
decision support
probabilistic model
management system
spatial databases