Kentaro Imajo

Learn More
After the initial enthusiasm of the ’70s and ’80s abated, the topic of program synthesis is now being researched with renewed interest. Recent advances can be explained in large part by significant strides made in automated theorem proving technologies, particularly in the development of satisfiability solvers. In an effort to understand the scalability of(More)
  • Kentaro Imajo
  • Proceedings of the 21st International Conference…
  • 2012
For many purposes such as rotatable feature extraction and noise reduction, the Gaussian filter is often used. Many present algorithms compute it using much time or compute a rectangle filter instead of it giving up rotation invariance. In this paper, we propose a method to shorten computational time of the Gaussian filter. The proposed method uses an(More)
  • 1