A Framework to Synergize Partial Order Reduction with State Interpolation.

Duc-Hiep Chu Joxan Jaffar

Published in: Haifa Verification Conference (2014)

Keyphrases

main contribution
data mining
expert systems
probabilistic model
framework enables
neural network
metadata
multimedia
clustering algorithm
multiscale
edge detection
key features
bayesian framework
conceptual framework