使用 miniKanren 进行图像处理
计算机视觉与模式识别
2014-03-18 v1 编程语言
摘要
积分图是图像处理中最有效的优化技术之一。然而，积分图仅是延迟流或记忆化的一种特例。本研究讨论了推广积分图优化技术的概念，以及如何从抽象的图像处理算法自动生成经积分图优化的程序代码。为了抽象算法，我们采用了 miniKanren。
引用
@article{arxiv.1403.3964,
title = {Image processing using miniKanren},
author = {Hirotaka Niitsuma},
journal= {arXiv preprint arXiv:1403.3964},
year = {2014}
}