C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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