Haruhiko Sato

Yuichi Yamamoto, Haruhiko Sato, Yuri Nishihori, 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.

Crowdsourced Semantic Matching of Multi-Label Annotations

Lei Duan, Satoshi Oyama, Masahito Kurihara, 2015, IJCAI.

Separate or joint? Estimation of multiple labels from crowdsourced annotations

Lei Duan, Satoshi Oyama, Masahito Kurihara, 2014, Expert Syst. Appl..

311 Sliding Platform : A New Measure of Dynamic Balance

Haruhiko Sato, Yoshitaka Shiba, 2005 .

OPTIMIZING MKBTT (SY STEM DESCRIPTION)

Aart Middeldorp, Masahito Kurihara, Haruhiko Sato, 2010 .

Implementation and performance evaluation of multi-completion with termination checking

Masahito Kurihara, Haruhiko Sato, 2008, 2008 IEEE International Conference on Systems, Man and Cybernetics.

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

Hao Liu, Satoshi Oyama, Masahito Kurihara, 2012, 2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC).

An Extension of Overlay Weaver with Application to a Cross-Browsing Communication System Based on Peer-to-Peer Networks

Satoshi Oyama, Masahito Kurihara, Haruhiko Sato, 2012 .

Monophonic sound source separation by non-negative sparse autoencoders

Masahiro Suzuki, Satoshi Oyama, Masahito Kurihara, 2014, 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC).

Evaluation of the web-based "home helper" support system using wireless Internet mobile phones.

Haruhiko Sato, Yoshiharu Yonezawa, Hiromichi Maki, 2002, Biomedical sciences instrumentation.

Program debug system and debugger

Haruhiko Sato, Hideo Aoe, Yuji Kogo, 1992 .

Improvement and implementation of keyword programming

Masahito Kurihara, Haruhiko Sato, Yusuke Sakamoto, 2010, 2010 IEEE International Conference on Systems, Man and Cybernetics.

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

Yuichi Yamamoto, Nozomu Nishinaga, Ruimin Shen, 2006, ICCE.

Design and Implementation of Multi-Completion Procedures with Termination Checking

Masahito Kurihara, Haruhiko Sato, 2008, TMFCS.

Parallelization of Termination Checkers for Algebraic Software

Masahito Kurihara, Haruhiko Sato, Rui Ding, 2014 .

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

Satoshi Oyama, Masahito Kurihara, Haruhiko Sato, 2016, Expert Syst. Appl..

Evaluation of physiological cost in dynamic muscular work by recovery cost

Kaoru Inoue, Haruhiko Sato, Yoshiyuki Fukuba, 1980 .

Development of a Method for Reducing the Driver's Work Load Using a Human Body Model Based on Biomechanisms

Takayuki Yanagishima, Haruhiko Sato, Toshimichi Hanai, 1996 .

A Preference Search System Using an Interactive Genetic Algorithm

Satoshi Oyama, Masahito Kurihara, Haruhiko Sato, 2013 .

A welfare facility resident care support system.

Haruhiko Sato, Hiromichi Maki, Hidekuni Ogawa, 2004, Biomedical sciences instrumentation.

Study on menu usability and structural analysis

Haruhiko Sato, Takuo Matsunobe, 2001, HCI.

Investigation of care data entry interface for Home Helper support system

Toshiyo Tamura, Haruhiko Sato, Yoshiharu Yonezawa, 2004 .

Multi-completion with Termination Tools (System Description)

Aart Middeldorp, Masahito Kurihara, Haruhiko Sato, 2008, IJCAR.

Recognition of normal forms with tree automata for inductive theorem proving

Masahito Kurihara, Haruhiko Sato, M. Kurihara, 2013, 2013 Science and Information Conference.

Discovering inductive theorems using rewriting induction

Masahito Kurihara, Haruhiko Sato, M. Kurihara, 2016, 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC).

Optimizing mkbTT

Aart Middeldorp, Masahito Kurihara, Haruhiko Sato, 2010, RTA.

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

Yuichi Yamamoto, Haruhiko Sato, Yuri Nishihori, 2011, Int. J. Inf. Syst. Soc. Chang..

Constraint-Based Multi-Completion Procedures for Term Rewriting Systems

Aart Middeldorp, Masahito Kurihara, Haruhiko Sato, 2009, IEICE Trans. Inf. Syst..

A Study on Online Aspect Mining

Masahito Kurihara, Haruhiko Sato, Yusuke Sakamoto, 2010 .

Transfer learning based on the observation probability of each attribute

Masahiro Suzuki, Satoshi Oyama, Masahito Kurihara, 2014, 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC).

Personal distance of older persons against mobile robot

Haruhiko Sato, Koji Nakashima, 1999 .

Standardization of Japanese menu on personal computer software

Haruhiko Sato, Takuo Matsunobe, 1998 .

Multi-Completion Procedures for Term Rewriting Systems with Termination Checking

Masahito Kurihara, Haruhiko Sato, 2008 .

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

Hao Liu, Satoshi Oyama, Masahito Kurihara, 2013, J. Adv. Comput. Intell. Intell. Informatics.

Method sequence generation for multiple object states using dynamic symbolic execution

Satoshi Oyama, Masahito Kurihara, Haruhiko Sato, 2014, 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC).

Parallelization of termination checker for term rewriting system

Rui Ding, Masahito Kurihara, Haruhiko Sato, 2012, 2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC).

Personal distance against mobile robot

Haruhiko Sato, Koji Nakashima, 1999 .

Automated Test Generation for Object-Oriented Programs with Multiple Targets

Satoshi Oyama, Masahito Kurihara, Haruhiko Sato, 2014 .

Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion

Haruhiko Sato, Sarah Winkler, Haruhiko Sato, 2015, CADE.

Multi-Emotion Estimation in Narratives from Crowdsourced Annotations

Lei Duan, Satoshi Oyama, Masahito Kurihara, 2015, JCDL.

A Java mobile phone-based "Home Helper" care report creation support system.

Haruhiko Sato, Yoshiharu Yonezawa, Hiromichi Maki, 2004, Biomedical sciences instrumentation.

Driver Monitoring System by Using Blinking and Heart-Rate Signal

Hiroshi Mouri, Haruhiko Sato, Yasuhiro Akagi, 2016 .

Nc machine tool and tool breakage preventing method for nc machine tool

Haruhiko Sato, Manabu Kobayashi, 1992 .

Image Classification by Transfer Learning Based on the Predictive Ability of Each Attribute

Satoshi Oyama, Masahito Kurihara, Haruhiko Sato, 2014 .

A Satisfiability Encoding of Dependency Pair Techniques for Maximal Completion∗

Haruhiko Sato, Sarah Winkler, 2014 .

Classification of Twitter Users Based on Following Relations

Satoshi Oyama, Masahito Kurihara, Haruhiko Sato, 2013 .