Novel Probabilistic Combinational Equivalence Checking.

Shih-Chieh Wu Chun-Yao Wang Yung-Chih Chen

Published in: IEEE Trans. Very Large Scale Integr. Syst. (2008)

Keyphrases

bayesian networks
generative model
probabilistic model
special case
uncertain data
consistency checking
neural network
social networks
computer vision
probability theory
probabilistic interpretation