𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A new proof of regularity for¶two-shaded image segmentations

✍ Scribed by Christopher J. Larsen

Publisher
Springer
Year
1998
Tongue
English
Weight
231 KB
Volume
96
Category
Article
ISSN
0025-2611

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Design and formal proof of a new optimal
Design and formal proof of a new optimal image segmentation program with hypermaps
✍ Jean-François Dufourd 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 278 KB

This article presents the design of a new functional 2D image segmentation algorithm by cell merging in a subdivision, its proof of total correctness, and the derivation of an optimal imperative program. The planar subdivisions are modeled by hypermaps. The formal specifications of hypermaps and seg

A two-dimensional extension of minimum c
A two-dimensional extension of minimum cross entropy thresholding for the segmentation of ultrasound images
✍ Y. Zimmer; R. Tepper; S. Akselrod 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 869 KB

Segmentation is often an important step in medical image analysis. The local entropy is a possible variable for segmenting ultrasound images containing fluid surrounded by a soft tissue. A commonly used tool for image segmentation is thresholding. Recently, a new thresholding technique, known as "mi