Morphology for Image Processing. Part I

Hiroshi Yamazaki; Czesław Byliński; Katsumi Wasaki

doi:10.2478/v10037-012-0008-y

.blurhash-client-img { display: none !important; }

Morphology for Image Processing. Part I

Formalized Mathematics

Volume 20 (2012): Issue 1 (January 2012)

By: Hiroshi Yamazaki, Czesław Byliński and Katsumi Wasaki

Open Access

|Sep 2012

Abstract

In this article we defined mathematical morphology image processing with set operations. First, we defined Minkowski set operations and proved their properties. Next, we defined basic image processing, dilation and erosion proving basic fact about them [5], [8].

References

Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.
Search in Google Scholar
Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.
Search in Google Scholar
Yuzhong Ding and Xiquan Liang. Preliminaries to mathematical morphology and its properties. Formalized Mathematics, 13(2):221-225, 2005.
Search in Google Scholar
Noboru Endou, Takashi Mitsuishi, and Yasunari Shidama. Dimension of real unitary space. Formalized Mathematics, 11(1):23-28, 2003.
Search in Google Scholar
H. J. A. M. Heijimans. Morphological Image Operators. Academic Press, 1994.
Search in Google Scholar
Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35-40, 1990.
Search in Google Scholar
Beata Padlewska. Families of sets. Formalized Mathematics, 1(1):147-152, 1990.
Search in Google Scholar
P. Soille. Morphological Image Analysis: Principles and Applications. Springer, 2003.10.1007/978-3-662-05088-0
Search in Google Scholar
Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990.
Search in Google Scholar
Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.
Search in Google Scholar

Articles in this issue

DOI: https://doi.org/10.2478/v10037-012-0008-y | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630

Journal RSS Feed

Language: English

Page range: 61 - 63

Published on: Sep 12, 2012

Published by: University of Białystok

In partnership with: Paradigm Publishing Services

Publication frequency: 1 issue per year

Related subjects:

Mathematics,

Logic and set theory,

Computer sciences,

Artificial intelligence

© 2012 Hiroshi Yamazaki, Czesław Byliński, Katsumi Wasaki, published by University of Białystok
This work is licensed under the Creative Commons License.

Volume 20 (2012): Issue 1 (January 2012)