Login / Signup
Symbolic Arrays in Symbolic PathFinder.
Aymeric Fromherz
Kasper Søe Luckow
Corina S. Pasareanu
Published in:
ACM SIGSOFT Softw. Eng. Notes (2016)
Keyphrases
</>
symbolic representation
high level
genetic algorithm
neural learning
object recognition
symbolic data
information retrieval
computer vision
decision trees
preprocessing
feature space
lower bound
relational databases
connectionist models