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