Morphology for Image Processing. Part I

• Autorzy: Hiroshi Yamazaki , Czesław Byliński , Katsumi Wasaki
• Języki publikacji: EN

Abstrakty

EN

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].

• Wydawca: De Gruyter Open
• Czasopismo: Formalized Mathematics
• Rocznik: 2012
• Tom: 20
• Numer: 1
• Strony: 61-63

Daty

wydano

2012-01-01

online

2012-09-12

Twórcy

autor

Hiroshi Yamazaki

• Shinshu University, Nagano, Japan

autor

Czesław Byliński

• University of Białystok, Poland

autor

Katsumi Wasaki

• Shinshu University, Nagano, Japan

Bibliografia

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

Identyfikatory

DOI

10.2478/v10037-012-0008-y