Translating C# to Branching Symbolic Transducers.

Olli Saarikivi Margus Veanes

Published in: LPAR (Short Presentations) (2017)

Keyphrases

finite automata
high level
search tree
symbolic representation
symbolic knowledge
databases
neural network
learning algorithm
branch and bound
connectionist networks
connectionist models
symbolic description
connectionist learning