Formal analysis of 2D image processing filters using higher-order logic theorem proving

Abstract Two-dimensional (2D) image processing systems are concerned with the processing of the images represented as 2D arrays and are widely used in medicine, transportation and many other autonomous systems. The dynamics of these systems are generally modeled using 2D difference equations, which...

Olles dieđut

Bibliográfalaš dieđut
Váldodahkkit: Adnan Rashid, Sa’ed Abed, Osman Hasan
Materiálatiipa: Artihkal
Giella:English
Almmustuhtton: SpringerOpen 2022-06-01
Ráidu:EURASIP Journal on Advances in Signal Processing
Fáttát:
Liŋkkat:https://doi.org/10.1186/s13634-022-00882-3