Efficient Analysis of Probabilistic Programs with an Unbounded Counter.

Tomás Brázdil Stefan Kiefer Antonín Kucera

Published in: CAV (2011)

Keyphrases

statistical analysis
data driven
computer vision
decision trees
automatic analysis
computationally expensive
computationally efficient
digital libraries
multi agent systems
image sequences
data sets
search engine
artificial intelligence
genetic algorithm
information retrieval
machine learning
databases