Interactions between number theory and image analysis

The conceptual design of many procedures used in image analysis starts with models which assume as an input sets in Euclidean space which we regard as real objects. However, the application finally requires that the Euclidean (real) objects have to be modelled by digital sets, i.e. they are approximated by their corresponding digitizations. Also 'continuous' operations (for example integrations or differentiations) are replaced by 'discrete' counterparts (for example summations or differences) by assuming that such a replacement has only a minor impact on the accuracy or efficiency of the implemented procedure. This paper discusses applications of results in number theory with respect to error estimations, accuracy evaluations, correctness proofs etc. for image analysis procedures. Knowledge about digitization errors or approximation errors may help to suggest ways how they can be kept under required limits. Until now have been only minor impacts of image analysis on developments in number theory, by defining new problems, or by specifying ways how existing results may be discussed in the context of image analysis. There might be a more fruitful exchange between both disciplines in the future.

[1]  Robert P. W. Duin,et al.  Spirograph Theory: A Framework for Calculations on Digitized Straight Lines , 1984, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[2]  Alfred M. Bruckstein,et al.  The number of digital straight lines on an N×N grid , 1990, IEEE Trans. Inf. Theory.

[3]  T. Apostol Introduction to analytic number theory , 1976 .

[4]  Reinhard Klette,et al.  Determination of the Convex Hull of a Finite Set of Planar Points Within Linear Time , 1981, J. Inf. Process. Cybern..

[5]  Alfred M. Bruckstein,et al.  On the number of digital straight lines on an N*N grid , 1988, Proceedings CVPR '88: The Computer Society Conference on Computer Vision and Pattern Recognition.

[6]  Henryk Iwaniec,et al.  On the divisor and circle problems , 1988 .

[7]  Reinhard Klette,et al.  Toward experimental studies of digital moment convergence , 2000, SPIE Optics + Photonics.

[8]  Reinhard Klette,et al.  Digital Approximation of Moments of Convex Regions , 1999, Graph. Model. Image Process..

[9]  M. Teague Image analysis via the general theory of moments , 1980 .

[10]  Jovisa D. Zunic,et al.  On the Number of Linear Partitions of the (m, n)-Grid , 1991, Inf. Process. Lett..

[11]  Herbert Freeman,et al.  On the Encoding of Arbitrary Geometric Configurations , 1961, IRE Trans. Electron. Comput..

[12]  Miroslaw Pawlak,et al.  On the Accuracy of Zernike Moments for Image Analysis , 1998, IEEE Trans. Pattern Anal. Mach. Intell..

[13]  Jovisa D. Zunic,et al.  On the number of digital convex polygons inscribed into an (m, m)-grid , 1994, IEEE Trans. Inf. Theory.

[14]  Miroslaw Pawlak,et al.  On Image Analysis by Moments , 1996, IEEE Trans. Pattern Anal. Mach. Intell..

[15]  AZRIEL ROSENFELD,et al.  Digital Straight Line Segments , 1974, IEEE Transactions on Computers.

[16]  von F. Zernike Beugungstheorie des schneidenver-fahrens und seiner verbesserten form, der phasenkontrastmethode , 1934 .

[17]  Arnold W. M. Smeulders,et al.  Discrete Representation of Straight Lines , 1984, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[18]  Rama Chellappa,et al.  A Method for Enforcing Integrability in Shape from Shading Algorithms , 1988, IEEE Trans. Pattern Anal. Mach. Intell..

[19]  Reinhard Klette,et al.  Height data from gradient fields , 1996 .

[20]  W E Grimson,et al.  A computational theory of visual surface interpolation. , 1982, Philosophical transactions of the Royal Society of London. Series B, Biological sciences.

[21]  Roland T. Chin,et al.  On digital approximation of moment invariants , 1986, Computer Vision Graphics and Image Processing.

[22]  Jovisa D. Zunic,et al.  A General Coding Scheme for Families of Digital Curve Segments , 1998, Graph. Model. Image Process..