SynPSL: Behavioral Synthesis of PSL Assertions.

Florian Eibensteiner Rainer Findenig Markus Pfaff

Published in: EUROCAST (2009)

Keyphrases

knowledge base
program synthesis
learning algorithm
computer vision
image processing
website
image segmentation
database systems
bayesian networks
wide range
search algorithm
computational complexity
preprocessing
human behavior