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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=210698
