Hexagonal Run-Length Zero Capacity Region - Part II: Automated Proofs.

Spencer Congero Kenneth Zeger

Published in: IEEE Trans. Inf. Theory (2022)

Keyphrases

run length
gray level
run length encoding
automated theorem provers
input image
sample size
texture information
image processing
multiscale
compression rate
machine learning
face recognition
image analysis
image quality
gray scale
data hiding