Haruhiko Sato

Publication Activity (10 Years)

Years Active: 2001-2020
Publications (10 Years): 4

Top Topics

Recursive Functions

Source Separation

Top Venues

Expert Syst. Appl.

J. Adv. Comput. Intell. Intell. Informatics

IEICE Trans. Inf. Syst.

Publications

Haruhiko Sato, Natsuo Ishii
Discovering conditional properties of recursive functions in a proof assistant. SCIS/ISIS (2020)
Chengcheng Ji, Masahito Kurihara, Haruhiko Sato
Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection. IEICE Trans. Inf. Syst. (2) (2019)
Haruhiko Sato, Masahito Kurihara
Discovering inductive theorems using rewriting induction. SMC (2016)
Gota Gando, Taiga Yamada, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara
Fine-tuning deep convolutional neural networks for distinguishing illustrations from photographs. Expert Syst. Appl. 66 (2016)
Haruhiko Sato, Sarah Winkler
Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion. CADE (2015)
Lei Duan, Satoshi Oyama, Masahito Kurihara, Haruhiko Sato
Crowdsourced Semantic Matching of Multi-Label Annotations. IJCAI (2015)
Lei Duan, Satoshi Oyama, Haruhiko Sato, Masahito Kurihara
Multi-Emotion Estimation in Narratives from Crowdsourced Annotations. JCDL (2015)
Keiki Zen, Masahiro Suzuki, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara
Monophonic sound source separation by non-negative sparse autoencoders. SMC (2014)
Lei Duan, Satoshi Oyama, Haruhiko Sato, Masahito Kurihara
Separate or joint? Estimation of multiple labels from crowdsourced annotations. Expert Syst. Appl. 41 (13) (2014)
Masahiro Suzuki, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara
Transfer learning based on the observation probability of each attribute. SMC (2014)
Hiroki Takamatsu, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara
Method sequence generation for multiple object states using dynamic symbolic execution. SMC (2014)
Hao Liu, Satoshi Oyama, Masahito Kurihara, Haruhiko Sato
Landmark FN-DBSCAN: An Efficient Density-Based Clustering Algorithm with Fuzzy Neighborhood. J. Adv. Comput. Intell. Intell. Informatics 17 (1) (2013)
Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
Multi-Completion with Termination Tools. J. Autom. Reason. 50 (3) (2013)
Hao Liu, Masahito Kurihara, Satoshi Oyama, Haruhiko Sato
An incremental self-organizing neural network based on enhanced competitive Hebbian learning. IJCNN (2013)
Rui Ding, Haruhiko Sato, Masahito Kurihara
Parallelization of termination checker for term rewriting system. SMC (2012)
Hao Liu, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara
A robust energy artificial neuron based incremental self-organizing neural network with a dynamic structure. SMC (2012)
Yuri Nishihori, Chizuko Kushima, Yuichi Yamamoto, Haruhiko Sato, Satoko Sugie
Global Teacher Training Based on a Multiple Perspective Assessment: A Knowledge Building Community for Future Assistant Language Teachers. Int. J. Inf. Syst. Soc. Chang. 2 (1) (2011)
Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
Optimizing mkbTT. RTA (2010)
Haruhiko Sato, Masahito Kurihara
Multi-Context Rewriting Induction with Termination Checkers. IEICE Trans. Inf. Syst. (5) (2010)
Yusuke Sakamoto, Haruhiko Sato, Masahito Kurihara
Improvement and implementation of keyword programming. SMC (2010)
Yuri Nishihori, Chizuko Kushima, Yuichi Yamamoto, Haruhiko Sato, Satoko Sugie
Global Teacher Training Based on a Multiple Perspective Assessment: A Knowledge Building Community for Future Assistant Language Teachers. Web Intelligence/IAT Workshops (2009)
Haruhiko Sato, Shoichi Yokoyama, Masahito Kurihara
User-Friendly GUI in Software Model Checking. SMC (2009)
Haruhiko Sato, Masahito Kurihara, Sarah Winkler, Aart Middeldorp
Constraint-Based Multi-Completion Procedures for Term Rewriting Systems. IEICE Trans. Inf. Syst. (2) (2009)
Haruhiko Sato, Masahito Kurihara
Implementation and performance evaluation of multi-completion with termination checking. SMC (2008)
Haruhiko Sato, Masahito Kurihara
Design and Implementation of Multi-Completion Procedures with Termination Checking. TMFCS (2008)
Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp
Multi-completion with Termination Tools (System Description). IJCAR (2008)
Yuri Nishihori, Keizo Nagaoka, Nozomu Nishinaga, Kenji Tanaka, Yuichi Yamamoto, Haruhiko Sato, Masahiro Harada, Ruimin Shen, Jinjin Feng, Myunghee Ju Kang
Enabling a Multilateral Distance Class between China, Korea and Japan: Effective Utilization of Networking Technologies. ICCE (2006)
Hidekuni Ogawa, Hiromichi Maki, Ishio Ninomiya, Yoshiharu Yonezawa, Haruhiko Sato, W. Morton Caldwell
A Web-based home welfare and care services request system using a pen type image sensor. CCNC (2004)
Takuo Matsunobe, Haruhiko Sato
Study on menu usability and structural analysis. HCI (2001)