2008 |
25 | EE | Haruhiko Sato,
Sarah Winkler,
Masahito Kurihara,
Aart Middeldorp:
Multi-completion with Termination Tools (System Description).
IJCAR 2008: 306-312 |
24 | EE | Hiroyuki 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 |
21 | EE | Shinpei Hayashi,
Motoshi Saeki,
Masahito Kurihara:
Supporting Refactoring Activities Using Histories of Program Modification.
IEICE Transactions 89-D(4): 1403-1412 (2006) |
20 | EE | Yasuhiro Sudo,
Masahito Kurihara,
Tamotsu Mitamura:
Extending Fuzzy Constraint Satisfaction Problems.
JACIII 10(4): 465-471 (2006) |
2005 |
19 | EE | Ai Noshiro,
Takeshi Yoshikawa,
Masahito Kurihara:
Analysis of Connectedness of the Fixed Radius Random Graph Model in One-dimensional Space.
WSTST 2005: 1288-1296 |
18 | EE | Hiroaki Oumi,
Tamotsu Mitamura,
Masahito Kurihara,
Takafumi Oohori,
Takeshi Yoshikawa:
Characteristic Analysis of Agents in Adaptive Consensus Formation Models.
WSTST 2005: 1329-1337 |
17 | EE | Yasuhiro Sudo,
Masahito Kurihara,
Tamotsu Mitamura:
Spread-Repair Algorithm for Solving Extended Fuzzy Constraint Satisfaction Problems.
WSTST 2005: 914-923 |
2004 |
16 | EE | Masahito 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 |
14 | EE | Hidetoshi Nonaka,
Masahito Kurihara:
Time-Frequency Decomposition in Gesture Recognition System Using Accelerometer.
KES 2004: 1072-1078 |
13 | EE | Masahito 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 |
12 | EE | Masahito Kurihara,
Masanobu Numazawa:
Logic for Multi-path Message Forwarding Networks for Mobile Agents.
ISMIS 2003: 374-383 |
11 | EE | Hidetoshi Nonaka,
Masahito Kurihara:
Eye-Contact Based Communication Protocol in Human-Agent Interaction.
IVA 2003: 106-110 |
10 | EE | Jun-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) |
9 | EE | Daisuke 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 |
4 | EE | Masahito Kurihara,
Azuma Ohuchi:
Modularity in Noncopying Term Rewriting.
Theor. Comput. Sci. 152(1): 139-169 (1995) |
1992 |
3 | EE | Masahito 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) |