Proof Graphs for Parameterised Boolean Equation Systems.

Sjoerd Cranen Bas Luttik Tim A. C. Willemse

Published in: CONCUR (2013)

Keyphrases

pattern recognition
distributed systems
complex systems
information retrieval
computer vision
image segmentation
computer systems
knowledge based systems
building blocks
retrieval systems
directed graph
real valued
boolean functions
bipartite graph
graph structure