Search the dblp DataBase

Publications of Author

1. Masahito Kurihara, Hisashi Kondo
   Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains. [Citation Graph (0, 0)][DBLP]
   Australian Joint Conference on Artificial Intelligence, 1999, pp:353-364 [Conf]
   
2. Masanobu Numazawa, Masahito Kurihara, Azuma Ohuchi
   A Reflective Language Based on Conditional Term Rewriting. [Citation Graph (0, 0)][DBLP]
   DISCO, 1996, pp:65-66 [Conf]
   
3. Masahito Kurihara, Hisashi Kondo
   Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification. [Citation Graph (0, 0)][DBLP]
   IEA/AIE, 2004, pp:827-837 [Conf]
   
4. Hidetoshi Nonaka, Masahito Kurihara
   Sensing Pressure for Authentication System Using Keystroke Dynamics. [Citation Graph (0, 0)][DBLP]
   International Conference on Computational Intelligence, 2004, pp:19-22 [Conf]
   
5. Masahito Kurihara, Masanobu Numazawa
   Logic for Multi-path Message Forwarding Networks for Mobile Agents. [Citation Graph (0, 0)][DBLP]
   ISMIS, 2003, pp:374-383 [Conf]
   
6. Hidetoshi Nonaka, Masahito Kurihara
   Eye-Contact Based Communication Protocol in Human-Agent Interaction. [Citation Graph (0, 0)][DBLP]
   IVA, 2003, pp:106-110 [Conf]
   
7. Hidetoshi Nonaka, Masahito Kurihara
   Time-Frequency Decomposition in Gesture Recognition System Using Accelerometer. [Citation Graph (0, 0)][DBLP]
   KES, 2004, pp:1072-1078 [Conf]
   
8. Masahito Kurihara, Hisashi Kondo, Azuma Ohuchi
   Completion for Multiple Reduction Orderings. [Citation Graph (0, 0)][DBLP]
   RTA, 1995, pp:71-85 [Conf]
   
9. Masahito Kurihara, Hidetoshi Nonaka, Takeshi Yoshikawa
   Use of highly accurate GPS in network-based barrier-free street map creation system. [Citation Graph (0, 0)][DBLP]
   SMC (2), 2004, pp:1169-1173 [Conf]
   
10. Masato Noto, Masahito Kurihara
    Experimental study of hybrid-type distributed maximal constraint satisfaction algorithm. [Citation Graph (0, 0)][DBLP]
    ACST, 2006, pp:67-72 [Conf]
    
11. Masahito Kurihara, Ikuo Kaji
    Modular Term Rewriting Systems and the Termination. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1990, v:34, n:1, pp:1-4 [Journal]
    
12. Jun-ichi Imai, Hiroyuki Shioya, Masahito Kurihara
    Modeling and Analysis of Genetic Algorithms Based on the Viewpoint of Mixture Systems. [Citation Graph (0, 0)][DBLP]
    JACIII, 2003, v:7, n:3, pp:268-275 [Journal]
    
13. Daisuke Kitakoshi, Hiroyuki Shioya, Masahito Kurihara
    Analysis of a Method Improving Reinforcement Learning Agents' Policies. [Citation Graph (0, 0)][DBLP]
    JACIII, 2003, v:7, n:3, pp:276-282 [Journal]
    
14. Yasuhiro Sudo, Masahito Kurihara, Tamotsu Mitamura
    Extending Fuzzy Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    JACIII, 2006, v:10, n:4, pp:465-471 [Journal]
    
15. Masahito Kurihara, Hisashi Kondo
    Completion for Multiple Reduction Orderings. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:23, n:1, pp:25-42 [Journal]
    
16. Masahito Kurihara, Azuma Ohuchi
    Modularity of Simple Termination of Term Rewriting Systems with Shared Constructors. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:103, n:2, pp:273-282 [Journal]
    
17. Masahito Kurihara, Azuma Ohuchi
    Modularity in Noncopying Term Rewriting. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:152, n:1, pp:139-169 [Journal]
    
18. 
    Multi-completion with Termination Tools (System Description). [Citation Graph (, )][DBLP]
    
    
19. 
    Quick Maximum Power Point Tracking of Photovoltaic Using Online Learning Neural Network. [Citation Graph (, )][DBLP]
    
    
20. 
    Computational Dialectics Based on Specialization and Generalization - A New Reasoning Method for Conflict Resolution. [Citation Graph (, )][DBLP]
    
    
21. 
    Optimizing mkbTT. [Citation Graph (, )][DBLP]
    
    
22. 
    User-Friendly GUI in Software Model Checking. [Citation Graph (, )][DBLP]
    
    
23. 
    Design and Implementation of Multi-Completion Procedures with Termination Checking. [Citation Graph (, )][DBLP]
    
    
24. 
    Spread-Repair Algorithm for Solving Extended Fuzzy Constraint Satisfaction Problems. [Citation Graph (, )][DBLP]
    
    
25. 
    Characteristic Analysis of Agents in Adaptive Consensus Formation Models. [Citation Graph (, )][DBLP]
    
    
26. 
    Analysis of Connectedness of the Fixed Radius Random Graph Model in One-dimensional Space. [Citation Graph (, )][DBLP]
    
    
27. 
    Personalizing graphical user interfaces on flexible widget layout. [Citation Graph (, )][DBLP]