Symbolic Steps.

Roderick Bloem Harold N. Gabow Fabio Somenzi

Published in: Formal Methods Syst. Des. (2006)

Keyphrases

databases
neural network
learning algorithm
connectionist models
real world
computer vision
case study
high level
search algorithm
computational complexity
special case
probabilistic model
probability distribution
multi step