Implementing BOLA-BASIC on Puffer: Lessons for the use of SSIM in ABR logic.

Emily Marx Francis Y. Yan Keith Winstein

Published in: CoRR (2020)

Keyphrases

structural similarity
image quality
logic programming
quality assessment
lessons learned
human visual system
multi valued
high quality
logical framework
classical logic
image retrieval
interactive video
modal operators
computational properties
denoising algorithm
automated reasoning
temporal logic