Haruhiko Sato

发表

Evaluation of Causal Discovery Models in Bivariate Case Using Real World Data

S. Oyama, M. Kurihara, Jing Song, 2016 .

Automated Test Case Generation Considering Object States in Object-Oriented Programming

S. Oyama, M. Kurihara, Haruhiko Sato, 2014 .

Instructions for use Title A robust energy artificial neuron based incremental self-organizing neural network with a dynamicstructure

Hao Liu, S. Oyama, M. Kurihara, 2017 .

Zero-shot Learning Based on the Observation Probability of Attributes

Masahiro Suzuki, Y. Matsuo, S. Oyama, 2016 .

Optimizing Mkb Tt (system Description) ⋆

A. Middeldorp, M. Kurihara, Haruhiko Sato, 2010 .

Establishing Relationships between Emotion Taxonomies Using the Vector Space Model

S. Oyama, M. Kurihara, Haruhiko Sato, 2015 .

Comment-based Keyword Programming

S. Oyama, M. Kurihara, Haruhiko Sato, 2011 .

Design and Implementation of Multi-Context Rewriting Induction

M. Kurihara, Haruhiko Sato, 2010 .

A New Implementation of Multi-Context Algebraic Inductive Theorem Prover

M. Kurihara, Haruhiko Sato, C. Ji, 2015 .

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 .

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

Hao Liu, Satoshi Oyama, Masahito Kurihara, 2013, The 2013 International Joint Conference on Neural Networks (IJCNN).

Multi-Completion with Termination Tools

Aart Middeldorp, Masahito Kurihara, Haruhiko Sato, 2012, Journal of Automated Reasoning.

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.

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).

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

Satoshi Oyama, Masahito Kurihara, Haruhiko Sato, 2014 .

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

Masahito Kurihara, Haruhiko Sato, Chengcheng Ji, 2019, IEICE Trans. Inf. Syst..

Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion

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

Recognition of normal forms with tree automata for inductive theorem proving

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

Constraint-Based Multi-Completion Procedures for Term Rewriting Systems

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

Classification of Twitter Users Based on Following Relations

Satoshi Oyama, Masahito Kurihara, Haruhiko Sato, 2013 .

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).

Discovering conditional properties of recursive functions in a proof assistant

Haruhiko Sato, Natsuo Ishii, 2020, 2020 Joint 11th International Conference on Soft Computing and Intelligent Systems and 21st International Symposium on Advanced Intelligent Systems (SCIS-ISIS).

Discovering inductive theorems using rewriting induction

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

On Usefulness of Syntactically Complex Lemmas in Theory Exploration for Inductive Theorems

M. Kurihara, Haruhiko Sato, 2018 .

OPTIMIZING MKBTT (SY STEM DESCRIPTION)

Aart Middeldorp, Masahito Kurihara, Haruhiko Sato, 2010 .

Uenew : A Cross-Browsing Communication System Based on Peer-to-Peer Networks

S. Oyama, M. Kurihara, Haruhiko Sato, 2011 .

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

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