Image processing using miniKanren
This addresses a domain-specific optimization problem in image processing, but appears incremental as it builds on existing integral image and miniKanren techniques.
The paper tackles the problem of generalizing integral image optimization for image processing by automatically generating optimized code from abstracted algorithms using miniKanren, resulting in a method for code generation without specific performance metrics.
An integral image is one of the most efficient optimization technique for image processing. However an integral image is only a special case of delayed stream or memoization. This research discusses generalizing concept of integral image optimization technique, and how to generate an integral image optimized program code automatically from abstracted image processing algorithm. In oder to abstruct algorithms, we forces to miniKanren.