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