default search action
Haruhiko Sato
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [c21]Haruhiko Sato, Natsuo Ishii:
Discovering conditional properties of recursive functions in a proof assistant. SCIS/ISIS 2020: 1-4
2010 – 2019
- 2019
- [j8]Chengcheng Ji, Masahito Kurihara, Haruhiko Sato:
Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection. IEICE Trans. Inf. Syst. 102-D(2): 223-238 (2019) - 2016
- [j7]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: 295-301 (2016) - [c20]Haruhiko Sato, Masahito Kurihara:
Discovering inductive theorems using rewriting induction. SMC 2016: 989-993 - 2015
- [c19]Haruhiko Sato, Sarah Winkler
:
Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion. CADE 2015: 152-162 - [c18]Lei Duan, Satoshi Oyama, Masahito Kurihara, Haruhiko Sato:
Crowdsourced Semantic Matching of Multi-Label Annotations. IJCAI 2015: 3483-3489 - [c17]Lei Duan, Satoshi Oyama, Haruhiko Sato, Masahito Kurihara:
Multi-Emotion Estimation in Narratives from Crowdsourced Annotations. JCDL 2015: 91-100 - 2014
- [j6]Lei Duan, Satoshi Oyama, Haruhiko Sato, Masahito Kurihara:
Separate or joint? Estimation of multiple labels from crowdsourced annotations. Expert Syst. Appl. 41(13): 5723-5732 (2014) - [c16]Keiki Zen, Masahiro Suzuki, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara:
Monophonic sound source separation by non-negative sparse autoencoders. SMC 2014: 3623-3626 - [c15]Masahiro Suzuki, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara:
Transfer learning based on the observation probability of each attribute. SMC 2014: 3627-3631 - [c14]Hiroki Takamatsu, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara:
Method sequence generation for multiple object states using dynamic symbolic execution. SMC 2014: 3632-3636 - 2013
- [j5]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): 60-73 (2013) - [j4]Sarah Winkler
Multi-Completion with Termination Tools. J. Autom. Reason. 50(3): 317-354 (2013) - [c13]Hao Liu, Masahito Kurihara, Satoshi Oyama, Haruhiko Sato:
An incremental self-organizing neural network based on enhanced competitive Hebbian learning. IJCNN 2013: 1-8 - 2012
- [c12]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: 1806-1811 - [c11]Rui Ding, Haruhiko Sato, Masahito Kurihara:
Parallelization of termination checker for term rewriting system. SMC 2012: 1824-1829 - 2011
- [j3]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): 16-30 (2011) - 2010
- [j2]Haruhiko Sato, Masahito Kurihara:
Multi-Context Rewriting Induction with Termination Checkers. IEICE Trans. Inf. Syst. 93-D(5): 942-952 (2010) - [c10]Sarah Winkler
Optimizing mkbTT. RTA 2010: 373-384 - [c9]Yusuke Sakamoto, Haruhiko Sato, Masahito Kurihara:
Improvement and implementation of keyword programming. SMC 2010: 474-480
2000 – 2009
- 2009
- [j1]Haruhiko Sato, Masahito Kurihara, Sarah Winkler, Aart Middeldorp
Constraint-Based Multi-Completion Procedures for Term Rewriting Systems. IEICE Trans. Inf. Syst. 92-D(2): 220-234 (2009) - [c8]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: 223-226 - [c7]Haruhiko Sato, Shoichi Yokoyama, Masahito Kurihara:
User-Friendly GUI in Software Model Checking. SMC 2009: 468-473 - 2008
- [c6]Haruhiko Sato, Sarah Winkler
Multi-completion with Termination Tools (System Description). IJCAR 2008: 306-312 - [c5]Haruhiko Sato, Masahito Kurihara:
Implementation and performance evaluation of multi-completion with termination checking. SMC 2008: 991-996 - [c4]Haruhiko Sato, Masahito Kurihara:
Design and Implementation of Multi-Completion Procedures with Termination Checking. TMFCS 2008: 33-40 - 2006
- [c3]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: 383-386 - 2004
- [c2]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: 616-617 - 2001
- [c1]Takuo Matsunobe, Haruhiko Sato:
Study on menu usability and structural analysis. HCI 2001: 41-45
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: