Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds.

Krishnendu Chatterjee Hongfei Fu Aniket Murhekar

Published in: CAV (1) (2017)

Keyphrases

data analysis
automated analysis
upper bound
data sets
decision making
machine learning
digital libraries
database
data mining
information retrieval
artificial intelligence
lower bound
artificial neural networks
image analysis
statistical analysis
contingency tables