Proving Reliability of Image Processing Techniques in Digital Forensics Applications

Listing 11

Definition of fixed thresholding.

	Fixpoint thresholding (img: gsimage) (thresh: nat): image :=
	match img with
	|nil ⇒ nil
	|cons Gr,c,gsv tl ⇒
	if (gsv < = ? thresh)
	then cons Br,c,black (thresholding tl thresh)
	else cons Br,c,white (thresholding tl thresh)
	end.