CPAchecker with Adjustable Predicate Analysis - (Competition Contribution).

Stefan Löwe Philipp Wendler

Published in: TACAS (2012)

Keyphrases

data analysis
real world
object recognition
probabilistic model
databases
data mining
machine learning
genetic algorithm
decision trees
three dimensional
multiresolution
wireless sensor networks
supply chain
automatic analysis