| 2006 |
|---|
| 18 | | Masato Noto,
Masahito Kurihara:
Experimental study of hybrid-type distributed maximal constraint satisfaction algorithm.
ACST 2006: 67-72 |
| 17 | EE | Shinpei Hayashi,
Motoshi Saeki,
Masahito Kurihara:
Supporting Refactoring Activities Using Histories of Program Modification.
IEICE Transactions 89-D(4): 1403-1412 (2006) |
| 16 | EE | Yasuhiro Sudo,
Masahito Kurihara,
Tamotsu Mitamura:
Extending Fuzzy Constraint Satisfaction Problems.
JACIII 10(4): 465-471 (2006) |
| 2004 |
|---|
| 15 | 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 |
| 14 | | Hidetoshi Nonaka,
Masahito Kurihara:
Sensing Pressure for Authentication System Using Keystroke Dynamics.
International Conference on Computational Intelligence 2004: 19-22 |
| 13 | EE | Hidetoshi Nonaka,
Masahito Kurihara:
Time-Frequency Decomposition in Gesture Recognition System Using Accelerometer.
KES 2004: 1072-1078 |
| 12 | 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 |
|---|
| 11 | EE | Masahito Kurihara,
Masanobu Numazawa:
Logic for Multi-path Message Forwarding Networks for Mobile Agents.
ISMIS 2003: 374-383 |
| 10 | EE | Hidetoshi Nonaka,
Masahito Kurihara:
Eye-Contact Based Communication Protocol in Human-Agent Interaction.
IVA 2003: 106-110 |
| 9 | 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) |
| 8 | EE | Daisuke Kitakoshi,
Hiroyuki Shioya,
Masahito Kurihara:
Analysis of a Method Improving Reinforcement Learning Agents' Policies.
JACIII 7(3): 276-282 (2003) |
| 1999 |
|---|
| 7 | | 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 |
| 6 | | Masahito Kurihara,
Hisashi Kondo:
Completion for Multiple Reduction Orderings.
J. Autom. Reasoning 23(1): 25-42 (1999) |
| 1996 |
|---|
| 5 | | Masanobu Numazawa,
Masahito Kurihara,
Azuma Ohuchi:
A Reflective Language Based on Conditional Term Rewriting.
DISCO 1996: 65-66 |
| 1995 |
|---|
| 4 | | Masahito Kurihara,
Hisashi Kondo,
Azuma Ohuchi:
Completion for Multiple Reduction Orderings.
RTA 1995: 71-85 |
| 3 | EE | Masahito Kurihara,
Azuma Ohuchi:
Modularity in Noncopying Term Rewriting.
Theor. Comput. Sci. 152(1): 139-169 (1995) |
| 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) |
