dblp.uni-trier.dewww.uni-trier.de

Masahito Kurihara

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
25EEHaruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp: Multi-completion with Termination Tools (System Description). IJCAR 2008: 306-312
24EEHiroyuki Kido, Masahito Kurihara: Computational Dialectics Based on Specialization and Generalization - A New Reasoning Method for Conflict Resolution. JSAI 2008: 228-241
23 Haruhiko Sato, Masahito Kurihara: Design and Implementation of Multi-Completion Procedures with Termination Checking. TMFCS 2008: 33-40
2006
22 Masato Noto, Masahito Kurihara: Experimental study of hybrid-type distributed maximal constraint satisfaction algorithm. ACST 2006: 67-72
21EEShinpei Hayashi, Motoshi Saeki, Masahito Kurihara: Supporting Refactoring Activities Using Histories of Program Modification. IEICE Transactions 89-D(4): 1403-1412 (2006)
20EEYasuhiro Sudo, Masahito Kurihara, Tamotsu Mitamura: Extending Fuzzy Constraint Satisfaction Problems. JACIII 10(4): 465-471 (2006)
2005
19EEAi Noshiro, Takeshi Yoshikawa, Masahito Kurihara: Analysis of Connectedness of the Fixed Radius Random Graph Model in One-dimensional Space. WSTST 2005: 1288-1296
18EEHiroaki Oumi, Tamotsu Mitamura, Masahito Kurihara, Takafumi Oohori, Takeshi Yoshikawa: Characteristic Analysis of Agents in Adaptive Consensus Formation Models. WSTST 2005: 1329-1337
17EEYasuhiro Sudo, Masahito Kurihara, Tamotsu Mitamura: Spread-Repair Algorithm for Solving Extended Fuzzy Constraint Satisfaction Problems. WSTST 2005: 914-923
2004
16EEMasahito Kurihara, Hisashi Kondo: Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification. IEA/AIE 2004: 827-837
15 Hidetoshi Nonaka, Masahito Kurihara: Sensing Pressure for Authentication System Using Keystroke Dynamics. International Conference on Computational Intelligence 2004: 19-22
14EEHidetoshi Nonaka, Masahito Kurihara: Time-Frequency Decomposition in Gesture Recognition System Using Accelerometer. KES 2004: 1072-1078
13EEMasahito Kurihara, Hidetoshi Nonaka, Takeshi Yoshikawa: Use of highly accurate GPS in network-based barrier-free street map creation system. SMC (2) 2004: 1169-1173
2003
12EEMasahito Kurihara, Masanobu Numazawa: Logic for Multi-path Message Forwarding Networks for Mobile Agents. ISMIS 2003: 374-383
11EEHidetoshi Nonaka, Masahito Kurihara: Eye-Contact Based Communication Protocol in Human-Agent Interaction. IVA 2003: 106-110
10EEJun-ichi Imai, Hiroyuki Shioya, Masahito Kurihara: Modeling and Analysis of Genetic Algorithms Based on the Viewpoint of Mixture Systems. JACIII 7(3): 268-275 (2003)
9EEDaisuke Kitakoshi, Hiroyuki Shioya, Masahito Kurihara: Analysis of a Method Improving Reinforcement Learning Agents' Policies. JACIII 7(3): 276-282 (2003)
1999
8 Masahito Kurihara, Hisashi Kondo: Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains. Australian Joint Conference on Artificial Intelligence 1999: 353-364
7 Masahito Kurihara, Hisashi Kondo: Completion for Multiple Reduction Orderings. J. Autom. Reasoning 23(1): 25-42 (1999)
1996
6 Masanobu Numazawa, Masahito Kurihara, Azuma Ohuchi: A Reflective Language Based on Conditional Term Rewriting. DISCO 1996: 65-66
1995
5 Masahito Kurihara, Hisashi Kondo, Azuma Ohuchi: Completion for Multiple Reduction Orderings. RTA 1995: 71-85
4EEMasahito Kurihara, Azuma Ohuchi: Modularity in Noncopying Term Rewriting. Theor. Comput. Sci. 152(1): 139-169 (1995)
1992
3EEMasahito Kurihara, Hisashi Kondo, Azuma Ohuchi: Using ATMS to Efficiently Verify the Termination of Rewrite Rule Programs. International Journal of Software Engineering and Knowledge Engineering 2(4): 547-565 (1992)
2 Masahito Kurihara, Azuma Ohuchi: Modularity of Simple Termination of Term Rewriting Systems with Shared Constructors. Theor. Comput. Sci. 103(2): 273-282 (1992)
1990
1 Masahito Kurihara, Ikuo Kaji: Modular Term Rewriting Systems and the Termination. Inf. Process. Lett. 34(1): 1-4 (1990)

Coauthor Index

1Shinpei Hayashi [21]
2Jun-ichi Imai [10]
3Ikuo Kaji [1]
4Hiroyuki Kido [24]
5Daisuke Kitakoshi [9]
6Hisashi Kondo [3] [5] [7] [8] [16]
7Aart Middeldorp [25]
8Tamotsu Mitamura [17] [18] [20]
9Hidetoshi Nonaka [11] [13] [14] [15]
10Ai Noshiro [19]
11Masato Noto [22]
12Masanobu Numazawa [6] [12]
13Azuma Ohuchi [2] [3] [4] [5] [6]
14Takafumi Oohori [18]
15Hiroaki Oumi [18]
16Motoshi Saeki [21]
17Haruhiko Sato [23] [25]
18Hiroyuki Shioya [9] [10]
19Yasuhiro Sudo [17] [20]
20Sarah Winkler [25]
21Takeshi Yoshikawa [13] [18] [19]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)