Lossless Image Coding Exploiting Local and Non-local Information via Probability Model Optimization | IEEE Conference Publication | IEEE Xplore