Predicate Analysis with Block-Abstraction Memoization.

Daniel Wonisch Heike Wehrheim

Published in: ICFEM (2012)

Keyphrases

genetic algorithm
image analysis
statistical analysis
data sets
learning algorithm
artificial intelligence
multi agent
quantitative analysis