Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications.
David M. CernaWolfgang SchreinerPublished in: SCSS (2017)
Keyphrases
- space complexity
- worst case
- error bounds
- upper bound
- stage stochastic programs
- error tolerance
- approximation methods
- approximation algorithms
- arc consistency
- lower bound
- data streams
- formal specification
- average case
- closed form
- upper and lower bounds
- real time
- space requirements
- worst case time complexity
- randomized algorithm
- markovian decision
- constant factor
- vc dimension
- specification language
- data sets
- approximation error
- spatial information
- multi stream
- sliding window
- contextual information
- confidence bounds
- rate distortion theory
- computational complexity