Image processing using miniKanren
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.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Neural Guided Constraint Logic Programming for Program Synthesis
Synthesizing programs using example input/outputs is a classic problem in artificial intelligence. We present a method for solving Programming By Example (PBE) problems by using a neural model to guide the search of a co…
Graph Neural NetworkProgram SynthesisµKanren: A Minimal Functional Core for Relational Programming
This paper presents µKanren, a minimalist language in the miniKanren family of relational (logic) programming languages. Its implementation comprises fewer than 40 lines of Scheme. We motivate the need for a minimalist m…
Concept for a CMOS Image Sensor Suited for Analog Image Pre-Processing
A concept for a novel CMOS image sensor suited for analog image pre-processing is presented in this paper. As an example, an image restoration algorithm for reducing image noise is applied as image pre-processing in the …
Image RestorationA Holistic Approach for Modeling and Synthesis of Image Processing Applications for Heterogeneous Computing Architectures
Image processing applications are common in every field of our daily life. However, most of them are very complex and contain several tasks with different complexities which result in varying requirements for computing a…
Image Processing via Multilayer Graph Spectra
Graph signal processing (GSP) has become an important tool in image processing because of its ability to reveal underlying data structures. Many real-life multimedia datasets, however, exhibit heterogeneous structures ac…
Edge DetectionHyperspectral Image SegmentationImage CompressionImage Segmentation+1