Trace Abstraction Modulo Probability.

Calvin Smith Justin Hsu Aws Albarghouthi

Published in: CoRR (2018)

Keyphrases

probability distribution
image sequences
databases
feature selection
multimedia
data structure
special case
low level
dynamic programming