Symbolic Compilation of PSL.

Alessandro Cimatti Marco Roveri Stefano Tonetta

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2008)

Keyphrases

connectionist systems
image processing
intermediate level
symbolic description
information retrieval
bayesian networks
video sequences
binary decision diagrams
connectionist models