The week's pick
Random Articles
Reseach Article
Probabilistic Modeling of Lossless Compression using Improved RLC Algorithm
| International Journal of Computer Applications |
| Foundation of Computer Science (FCS), NY, USA |
| Volume 183 - Number 43 |
| Year of Publication: 2021 |
| Authors: Aisha Sattar Phulpoto, Sania Bhatti, Salahuddin Saddar |
10.5120/ijca2021921838
|
Aisha Sattar Phulpoto, Sania Bhatti, Salahuddin Saddar . Probabilistic Modeling of Lossless Compression using Improved RLC Algorithm. International Journal of Computer Applications. 183, 43 ( Dec 2021), 33-39. DOI=10.5120/ijca2021921838
Abstract
Probabilistic model checking is a very famous formal verification technique to calculate accuracy evaluation while it is very complex and time-consuming to achieve via simulations these days. Probabilistic analysis has been applied successfully for a diverse range of application domains to examine the real-time attribute likewise, Performance and reliability, power management, biological process modeling, Communication, network, and multimedia protocols, security protocols, game theory, and many others but not applied in the domain of image compression techniques. The outstanding applicability of PRISM in a wider range of application domains motivated us to the analysis of compression algorithms using probabilistic techniques which are challenging and are still an open issue. For this, this paperhas selected improved run-length coding IRLC.which is a lossless algorithm. This paper presents a label transition diagram for IRL-C to understand the working of IRL-C in terms of states and transitions and then developed the probabilistic discrete-time Markov chains (DTMC) of IRLC to perform its analysis by applying properties.
References
- Sayeed, Khalid. Introduction to data compression. Morgan Kaufmann, 2017
- Husseen, A. H., S. Sh Mahmud, and R. J. Mohammed. "Image compression using proposed enhanced run-length encoding algorithm." Ibn AL-Haitham Journal for Pure and Applied Science 24, no. 1 (2017).
- Bhatti, Sania, MohsinMemon, and SheerazMemon. "Evaluating FTTT Protocol via PRISM, PRISM-symm, and GRIP." International Journal of Computer Theory and Engineering 9, no. 3 (2017): 162.
- The PRISM website. [Online]. Available https://www.prismmodelchecker.org/
- Kwiatkowska, Marta, Gethin Norman, and David Parker. "Analysis of a gossip protocol in PRISM." ACM SIGMETRICS Performance Evaluation Review 36, no. 3 (2008): 17-22.
- Chen, Taolue, Marta Kwiatkowska, David Parker, and AistisSimaitis. "Verifying team formation protocols with probabilistic model checking." In International Workshop on Computational Logic in Multi-Agent Systems, pp. 190-207. Springer, Berlin, Heidelberg, 2011.
- He, Kang, Hongli Yang, Yachao Feng, Yuan Liu, and ZongyanQiu. "Performance analysis of data gathering protocol using PRISM." In 2012 IEEE 17th International.
- Pfeffer, Avi, Curt Wu, Gerald Fry, Kenny Lu, Steve Marotta, Mike Reposa, Yuan Shi et al. "Software Adaptation for an Unmanned Undersea Vehicle." IEEE Software 36, no. 2 (2019): 91-96.
- Liu, Yang, and Chao He. "A Heuristics-Based Incremental Probabilistic Model Checking at Runtime." In 2020 IEEE 11th International Conference on Software Engineering and Service Science (ICSESS), pp. 355-358. IEEE, 2020.
- Babu, S. Anantha, and Eswaran Perumal. "Efficient Approach of Run Length Coding Technique Using Lossless Grayscale Image Compression (E-RLC)." In 2018 3rd International Conference on Inventive ComputationTechnologies (ICICT), pp. 680-686. IEEE, 2018.
- Hussin, Mumtaz Anwar, Farhana Ahmad Poad, and AriffuddinJoret. "A Comparative Study on the Performance of DWT and Huffman Compression Technique on a 2D Signal." Journal of Electronic Voltage and Application 2, no. 1 (2021): 11-19.
- Prasantha, Dr. HS. "NOVEL APPROACH FOR IMAGE COMPRESSION USING MODIFIED SVD." International Journal of Creative Research Thoughts (IJCRT) 8, no. 8 (2020):2234-2243.
- Liu, Xiaoxiao, Ping an, Yilei Chen, and Xinpeng Huang. "An improved lossless image compression algorithm based on Huffman coding." Multimedia Tools and Applications (2021): 1-15.
- Babu, S. Anantha, P. Eswaran, and C. Senthil Kumar. "Lossless compression algorithm using improved RLC for the grayscale image." Arabian Journal for Science and Engineering 41, no. 8 (2016): 3061-3070.
- Jose, Jais, Neha Gautam, Mohit Tiwari, Tripti Tiwari, Arjun Suresh, VinuSundararaj, and M. R. Rejeesh. "Animage quality enhancement scheme employing adolescentidentity search algorithm in the NSST domain for multimodal medical image fusion." Biomedical Signal Processing and Control 66 (2021):10248.
Index Terms
Keywords