Research Article
Proving Reliability of Image Processing Techniques in Digital Forensics Applications
Figure 4
Example 1: translating the RGB image to the matrix and Coq definition gsimage. (a) RGB image. (b) Binary image matrix. (c) Coq definitions of the image.
(a) |
(b) |
(c) |