Morphology for Image Processing. Part I
Hiroshi Yamazaki; Czesław Byliński; Katsumi Wasaki
Formalized Mathematics (2012)
- Volume: 20, Issue: 1, page 61-63
- ISSN: 1426-2630
Access Full Article
top
Abstract
topHow to cite
topHiroshi Yamazaki, Czesław Byliński, and Katsumi Wasaki. "Morphology for Image Processing. Part I." Formalized Mathematics 20.1 (2012): 61-63. <http://eudml.org/doc/267709>.
@article{HiroshiYamazaki2012,
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].},
author = {Hiroshi Yamazaki, Czesław Byliński, Katsumi Wasaki},
journal = {Formalized Mathematics},
language = {eng},
number = {1},
pages = {61-63},
title = {Morphology for Image Processing. Part I},
url = {http://eudml.org/doc/267709},
volume = {20},
year = {2012},
}
TY - JOUR
AU - Hiroshi Yamazaki
AU - Czesław Byliński
AU - Katsumi Wasaki
TI - Morphology for Image Processing. Part I
JO - Formalized Mathematics
PY - 2012
VL - 20
IS - 1
SP - 61
EP - 63
AB - 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].
LA - eng
UR - http://eudml.org/doc/267709
ER -
References
top- 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. Zbl1012.68212
- 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.
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.