Automated Expected Amortised Cost Analysis of Probabilistic Data Structures.

Lorenz Leutgeb Georg Moser Florian Zuleger

Published in: CAV (2) (2022)

Keyphrases

data structure
automated analysis
databases
bayesian networks
data driven
data sets
artificial intelligence
data analysis
image analysis
real world
decision trees
case study
artificial neural networks
evolutionary algorithm
domain specific
context sensitive