Compact representations of logic functions for lossless compression of grey-scale images

IEE Proceedings: Computers and Digital Techniques

Volumn 151, Issue 3, 2004, Pages 221-230

  Falkowski, B J ^a  

^a NANYANG TECHNOLOGICAL UNIVERSITY   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTATIONAL COMPLEXITY; COMPUTER AIDED DESIGN; DIGITAL CIRCUITS; IMAGE CODING; IMAGE COMPRESSION; IMAGE SEGMENTATION; VLSI CIRCUITS;

GREY-SCALE IMAGES; LOGIC FUNCTIONS; LOSSLESS COMPRESSION; SPECTRAL TRANSLATION SYNTHESIS;

LOGIC DESIGN;

EID: 2942709972     PISSN: 13502387     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-cdt:20040257     Document Type: Article

References (40)

1. Agaian, S., Astola, J., and Egiazarian, K.: 'Binary polynomial transforms and nonlinear digital filters' (Marcel Dekker, New York, 1995)
2. FalKowski, B.J., and Kannurao, S.: 'Analysis of disjoint decomposition of balanced Boolean functions through the Walsh spectrum', IEEE Proc., Comput. Digit. Tech., 2001, 148, (2), pp. 71-78
3. Karpovsky, M.G. (Ed.): 'Spectral techniques and fault detection' (Academic Press, Orlando, 1985)
4. Karpovsky, M.G., Stankovic, R.S., and Astola, J.T.: 'Reduction of sizes of decision diagrams by autocorrelation functions', IEEE Trans. Comput., 2003, 52, (5), pp. 592-606
5. Sasao, T., and Fujita, M. (Eds.): 'Representation of discrete functions' (Kluwer, Boston, MA, 1996)
6. Sasao, T.: 'Cascade realizations of two-input multiple-valued output functions using decomposition of group functions'. Proc. 33rd IEEE Int. Symp. on Multiple-valued Logic, Tokyo, Japan, May 2003, pp. 125-132
7. Stankovic, R.S., Stankovic, M., and Jankovic, D.: 'Spectral transforms in switching theory: definitions and calculations' (IP Nauka, Belgrade, 1998)
8. Thornton, M.A., and Nair, V.S.S.: 'Efficient calculation of spectral coefficients and their applications,' IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst., 1995, 4, (11), pp. 1328-1341
9. Clarke, E.M., McMillan, K.L., Zhao, X., Fujita, M., and Yang, J.: 'Spectral transforms for large Boolean functions with applications to technology mapping'. Proc. 30th ACM/IEEE Conf. on Design Automation, June 1993, pp. 54-60
10. Falkowski, B.J., Schaefer, I., and Perkowski, M.A.: 'Effective computer methods for the calculation of Rademacher-Walsh spectrum for completely and incompletely specified Boolean functions', IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst., 1992, 11, (10), pp. 1207-1226
11. Sasao, T.: 'Switching theory for logic synthesis' (Kluwer, Boston, 1999)
12. Aborhey, S.: 'Reed-Muller tree-based minimisation of fixed polarity Reed-Muller expansions', IEE Proc., Comput. Digit. Tech., 2001, 148, (2), pp. 63-70
13. Davio, P., Deschamps, J.P., and Thayse, A.: 'Discrete and switching functions' (McGraw-Hill, New York, 1978)
14. Wakerly, J.F.: 'Digital design: principles and practices' (Prentice-Hall, Englewood Cliffs, 1994, 2nd edn.)
15. Wang, L., Almaini, A.E.A., and Bystrov, A.: 'Efficient polarity conversion for large Boolean functions', IEE Proc., Comput. Digit. Tech., 1999, 146, (4), pp. 197-204
16. Hata, Y., Ishikawa, M., and Kamiura, N.: 'Image segmentational based on Kleene algebra'. Proc. 28th IEEE Int. Symposium on Multiple-valued Logic, Fukuoka, Japan, May 1998, pp. 155-160
17. Falkowski, B.J.: 'Lossless compression of binary images using logic methods'. Proc. S.E. Europe Workshop on Computational Intelligence and Information Technologies, Nis, Yugoslavia, June 2001, pp. 111-116
18. Falkowski, B.J., and Olejnicka, B.T.: 'Multiple-valued and spectral approach to lossless compression of binary, grey scale and color biomedical images'. Proc. 32nd IEEE Int. Symposium on Multiple-Valued Logic, Boston, MA, May 2002, pp. 136-142
19. Nelson, M., and Gailly, J.L.: 'Data compression book' (M&T Books, New York, 1996, 2nd edn.)
20. Sid-Ahmed, M.A.: 'Image processing: theory, algorithms, and architectures' (McGraw-Hill, New York, 1995)
21. Falkowski, B.J., and Chang, C.H.: 'Generalised k-variable-mixed-polarity Reed-Muller expansions for systems of Boolean functions and their minimisation', IEE Proc., Circuits, Devices Syst., 2000, 147, (4), pp. 201-210
22. Wu, H., Perkowski, M.A., Zeng, X., and Zhuang, N.: 'Generalized partially-mixed-polarity Reed-Muller expansion and its fast computation', IEEE Trans. Comput., 1996, 45, (9), pp. 1084-1088
23. Iravani, K., and Perkowski, M.A.: 'Image compression based on Reed-Muller transforms'. Proc. ICCIMA, Australia, February 1998, pp. 81-95
24. Memon, N., Sippy, V., and Wu, X.: 'A comparison of prediction schemes proposed for a new lossless image compression standard'. Proc. 29th IEEE Int. Symposium on Circuits and Systems, Atlanta, GA, May 1996, vol. 2, pp. 309-312
25. HP Labs LOCO-I/JPEG-LS Home Page at http://www.hpl.hp.com/loco/
26. Weinberger, M.J., Seroussi, G., and Sapiro, G.: 'LOCO-I: A low complexity, context-based, image compression algorithm'. Proc. Conf. on Data Compression, 1996, pp. 140-149
27. Wu, X., and Memon, N.: 'Context-based, adaptive, lossless image compression', IEEE Trans. Commun., 1997, 45, (4), pp. 437-444
28. Howard, P.G., and Vitter, J.S.: 'Fast and efficient lossless image compression'. Proc. Conf. on Data Compression, March-April 1993, pp. 351-360
29. Rice, R.F.: 'Lossless coding standards for space data systems'. Proc. 30th IEEE Asilomar Conf. on Signals, Systems and Computers, USA, 1997, pp. 577-585
30. Chaudhary, A.K., Augustine, J., and Jacob, J.: 'Lossless compression of images using logic minimization'. Proc. IEEE Int. Conf. Image Processing, 1996, pp. 77-80
31. Brayton, R.K., Hachtel, G.D., McMullen, C.T., and Sangiovanni-Vincentelli, A.L.: 'Logic minimization algorithms for VLSI synthesis' (Kluwer, Boston, 1984)
32. Pramanik, D., Jacob, J., and Augustine, J.: 'Lossless compression of images using minterm coding'. Proc. of 1st Int. Conf. on Information, Communications and Signal Processing, Singapore, September 1997, pp. 1570-1574
33. Pramanik, D., Jacob, J., and Augustine, J.: 'Lossless compression of images using minterm coding'. Proc. of 1st Int. Conf. on Information, Communications and Signal Processing, Singapore, September 1997, pp. 1570-1574
34. Robinson, J.A.: 'Efficient general-purpose image compression with binary tree predictive coding,' IEEE Trans. Image Proc., 1997, 6, (4), pp. 601-608
35. Robinson, J.A.: 'Binary tree predictive coding HTML documentation', http://www.engr.mun.cal/~john/btpc.html
36. Said, A., and Pearlman, W.A.: 'An image multiresolution representation for lossless and lossy compression', IEEE Trans. Image Process., 1996, 5, (9), pp. 1303-1310
37. Rimmer, S.: 'Supercharged bitmapped graphics' (McGraw-Hill, New York, 1992, 2nd edn.)
38. Mohamed, S.A., and Fahmy, M.M.: 'Binary image compression using efficient partitioning into rectangular regions', IEEE Trans. Commun., 1995, 43, (5), pp. 1888-1893
39. Cityu-Ipl Image Database at http://www.image.cityu.hk/imagedb/
40. WinZip Home page at http://www.winzip.com