Type-Based Analysis of Logarithmic Amortised Complexity.

Martin Hofmann Lorenz Leutgeb Georg Moser David Obwaller Florian Zuleger

Published in: CoRR (2021)

Keyphrases

computational complexity
data mining
expert systems
computational cost
information systems
image processing
web services
case study
image segmentation
search algorithm
image analysis
upper bound
quantitative analysis