Operations on binary images encoded as minimized Boolean functions

Abstract A novel scheme has been devised to represent binary images as minimized Boolean functions. The blocks corresponding to the essential prime implicants are stored as ternary numbers. The scheme has been shown to be simple and very much storage-saving. Based on this new scheme, the present paper describes the formulae, computational techniques and algorithms of various set operations (viz. intersection, union, complement) and geometric operations (viz. area and centroid) on binary images. The computational complexities of the algorithms are also discussed.

[1]  Kuo-Liang Chung,et al.  Finding neighbors on bincode-based images in O(n log log n) time , 1996, Pattern Recognit. Lett..

[2]  Herbert Freeman,et al.  Computer Processing of Line-Drawing Images , 1974, CSUR.

[3]  Hanan Samet,et al.  Applications of spatial data structures , 1989 .

[4]  Aris M. Ouksel,et al.  The Interpolation-Based Bintree and encoding of binary images , 1992, CVGIP Graph. Model. Image Process..

[5]  K. Steiglitz,et al.  Operations on ImagesUsingQuadTrees , 1979 .

[6]  M. Shneier.  Calculations of geometric properties using quadtrees , 1981 .

[7]  Basil G. Mertzios,et al.  Fast algorithms for basic processing and analysis operations on block-represented binary images , 1996, Pattern Recognit. Lett..

[8]  Hanan Samet,et al.  The Quadtree and Related Hierarchical Data Structures , 1984, CSUR.

[9]  Kuo-Liang Chung,et al.  Fast operations on binary images using interpolation-based bintrees , 1995, Pattern Recognit..

[10]  Günther F. Schrack,et al.  Finding neighbors of equal size in linear quadtrees and octrees in constant time , 1991, CVGIP Image Underst..

[11]  Debranjan Sarkar,et al.  Boolean function-based approach for encoding of binary images , 1996, Pattern Recognit. Lett..

[12]  Hanan Samet,et al.  Computing Geometric Properties of Images Represented by Linear Quadtrees , 1985, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[13]  Sudip Chattopadhyay,et al.  Translation and rotation of binary images encoded as minimized Boolean functions , 1997, Pattern Recognit. Lett..

[14]  Robert K. Brayton,et al.  Logic Minimization Algorithms for VLSI Synthesis , 1984, The Kluwer International Series in Engineering and Computer Science.

[15]  Irene Gargantini,et al.  An effective way to represent quadtrees , 1982, CACM.

[16]  J. Taylor,et al.  Switching and finite automata theory, 2nd ed. , 1980, Proceedings of the IEEE.