Title of article
Design and formal proof of a new optimal image segmentation program with hypermaps
Author/Authors
Jean-François Dufourd، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
20
From page
2974
To page
2993
Keywords
image segmentation , Hypermaps , Formal specification , Computer-aided correctness proof , Coq system
Journal title
PATTERN RECOGNITION
Serial Year
2007
Journal title
PATTERN RECOGNITION
Record number
210698
Link To Document