Login / Signup
Symbolic Bounded Synthesis.
Rüdiger Ehlers
Published in:
CAV (2010)
Keyphrases
</>
neural learning
texture synthesis
program synthesis
data sets
symbolic representation
high level
database
image processing
anomaly detection
real valued
computer vision
search engine
genetic algorithm
symbolic data
symbolic reasoning
symbolic description
strictly convex
connectionist learning