Haruhiko Sato

According to our database, Haruhiko Sato authored at least 28 papers between 2001 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Discovering conditional properties of recursive functions in a proof assistant.

Haruhiko Sato, Natsuo Ishii

Proceedings of the Joint 11th International Conference on Soft Computing and Intelligent Systems and 21st International Symposium on Advanced Intelligent Systems, 2020

2019

Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection.

Chengcheng Ji, Masahito Kurihara, Haruhiko Sato

IEICE Trans. Inf. Syst., 2019

2016

Fine-tuning deep convolutional neural networks for distinguishing illustrations from photographs.

Gota Gando, Taiga Yamada, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara

Expert Syst. Appl., 2016

Discovering inductive theorems using rewriting induction.

Haruhiko Sato, Masahito Kurihara

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

2015

Multi-Emotion Estimation in Narratives from Crowdsourced Annotations.

Lei Duan, Satoshi Oyama, Haruhiko Sato, Masahito Kurihara

Proceedings of the 15th ACM/IEEE-CE Joint Conference on Digital Libraries, 2015

Crowdsourced Semantic Matching of Multi-Label Annotations.

Lei Duan, Satoshi Oyama, Masahito Kurihara, Haruhiko Sato

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion.

Haruhiko Sato, Sarah Winkler

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Separate or joint? Estimation of multiple labels from crowdsourced annotations.

Lei Duan, Satoshi Oyama, Haruhiko Sato, Masahito Kurihara

Expert Syst. Appl., 2014

Monophonic sound source separation by non-negative sparse autoencoders.

Keiki Zen, Masahiro Suzuki, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara

Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Method sequence generation for multiple object states using dynamic symbolic execution.

Hiroki Takamatsu, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara

Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Transfer learning based on the observation probability of each attribute.

Masahiro Suzuki, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara

Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

2013

Multi-Completion with Termination Tools.

Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara

J. Autom. Reason., 2013

Landmark FN-DBSCAN: An Efficient Density-Based Clustering Algorithm with Fuzzy Neighborhood.

Hao Liu, Satoshi Oyama, Masahito Kurihara, Haruhiko Sato

J. Adv. Comput. Intell. Intell. Informatics, 2013

An incremental self-organizing neural network based on enhanced competitive Hebbian learning.

Hao Liu, Masahito Kurihara, Satoshi Oyama, Haruhiko Sato

Proceedings of the 2013 International Joint Conference on Neural Networks, 2013

2012

A robust energy artificial neuron based incremental self-organizing neural network with a dynamic structure.

Hao Liu, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012

Parallelization of termination checker for term rewriting system.

Rui Ding, Haruhiko Sato, Masahito Kurihara

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012

2011

Global Teacher Training Based on a Multiple Perspective Assessment: A Knowledge Building Community for Future Assistant Language Teachers.

Yuri Nishihori, Chizuko Kushima, Yuichi Yamamoto, Haruhiko Sato, Satoko Sugie

Int. J. Inf. Syst. Soc. Chang., 2011

2010

Multi-Context Rewriting Induction with Termination Checkers.

Haruhiko Sato, Masahito Kurihara

IEICE Trans. Inf. Syst., 2010

Improvement and implementation of keyword programming.

Yusuke Sakamoto, Haruhiko Sato, Masahito Kurihara

Proceedings of the IEEE International Conference on Systems, 2010

Optimizing mkbTT.

Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

2009

Constraint-Based Multi-Completion Procedures for Term Rewriting Systems.

Haruhiko Sato, Masahito Kurihara, Sarah Winkler, Aart Middeldorp

IEICE Trans. Inf. Syst., 2009

User-Friendly GUI in Software Model Checking.

Haruhiko Sato, Shoichi Yokoyama, Masahito Kurihara

Proceedings of the IEEE International Conference on Systems, 2009

2008

Design and Implementation of Multi-Completion Procedures with Termination Checking.

Haruhiko Sato, Masahito Kurihara

Proceedings of the International Conference on Theoretical and Mathematical Foundations of Computer Science, 2008

Implementation and performance evaluation of multi-completion with termination checking.

Haruhiko Sato, Masahito Kurihara

Proceedings of the IEEE International Conference on Systems, 2008

Multi-completion with Termination Tools (System Description).

Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2006

Enabling a Multilateral Distance Class between China, Korea and Japan: Effective Utilization of Networking Technologies.

Yuri Nishihori, Keizo Nagaoka, Nozomu Nishinaga, Kenji Tanaka, Yuichi Yamamoto, Haruhiko Sato, Masahiro Harada, Ruimin Shen, Jinjin Feng, Myunghee Ju Kang

Proceedings of the Learning by Effective Utilization of Technologies: Facilitating Intercultural Understanding, 2006

2004

A Web-based home welfare and care services request system using a pen type image sensor.

Hidekuni Ogawa, Hiromichi Maki, Ishio Ninomiya, Yoshiharu Yonezawa, Haruhiko Sato, W. Morton Caldwell

Proceedings of the 1st IEEE Consumer Communications and Networking Conference, 2004

2001

Study on menu usability and structural analysis.

Takuo Matsunobe, Haruhiko Sato

Proceedings of the Universal Access In HCI: Towards an Information Society for All, 2001