Design and formal proof of a new optimal image segmentation program with hypermaps.
Jean-François DufourdPublished in: Pattern Recognit. (2007)
Keyphrases
- image segmentation
- formal proof
- optimal design
- control program
- automatic programming
- user interface
- information systems
- probabilistic relaxation
- design principles
- design process
- multiscale
- building blocks
- segmentation algorithm
- level set
- computer aided
- markov random field
- dynamic programming
- image segmentation algorithm
- optimal solution
- knowledge base
- method for image segmentation
- machine learning