Haruhiko Sato

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