Search the dblp DataBase

Publications of Author

1. Naoyuki Nide, Shiro Takata
   Deduction systems for BDI logics using sequent calculus. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2002, pp:928-935 [Conf]
   
2. Tadashi Araragi, Shiro Takata, Naoyuki Nide
   A Verification Method for a Commitment Strategy of the BDI Architecture. [Citation Graph (0, 0)][DBLP]
   CLIMA III, 2002, pp:109-122 [Conf]
   
3. Naoyuki Nide, Shiro Takata, Tadashi Araragi
   Deduction Systems for BDI Logics with Mental State Consistency. [Citation Graph (0, 0)][DBLP]
   CLIMA III, 2002, pp:123-135 [Conf]
   
4. Satomi Hara, Hiroyasu Kamo, Naoyuki Nide, Kazuki Joe
   Another RSS Reader with Visualization of Structured Documents and Effective Navigation. [Citation Graph (0, 0)][DBLP]
   PDPTA, 2006, pp:874-880 [Conf]
   
5. Chisato Ishikawa, Hiroyasu Kamo, Naoyuki Nide, Kazuki Joe
   Design of an Integrated Database System for Short-Term Earthquake Prediction. [Citation Graph (0, 0)][DBLP]
   PDPTA, 2006, pp:853-859 [Conf]
   
6. Kazuki Joe, Sachiko Hayashida, Naoyuki Nide, Hiroyasu Kamo, Kazuko Yamauchi, Eriko Touma
   Gateau: A 3D Visualization System for Intuitive Analysis of Atmospheric Science. [Citation Graph (0, 0)][DBLP]
   PDPTA, 2006, pp:860-866 [Conf]
   
7. Kazuko Yamauchi, Eriko Touma, Hiroyasu Kamo, Naoyuki Nide, Sachiko Hayashida, Kazuki Joe
   Design and Implementation of Gateau API for HDF-EOS. [Citation Graph (0, 0)][DBLP]
   PDPTA, 2006, pp:867-873 [Conf]
   
8. Tadashi Araragi, Shiro Takata, Naoyuki Nide
   A Verification Method for a Commitment Strategy of the BDI Architecture. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
   
9. Naoyuki Nide, Shiro Takata, Tadashi Araragi
   Deduction Systems for BDI Logics with Mental State Consistency. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
   
10. 
    Auto Classification of Feces for Health Condition Analysis. [Citation Graph (, )][DBLP]
    
    
11. 
    Construction of a Paper Classification System Using SVM. [Citation Graph (, )][DBLP]
    
    
12. 
    3D Visualization System Gateau for Atmospheric Science: Design Concept and Practical Evaluation. [Citation Graph (, )][DBLP]