Print edition: ISSN 0913-5685
Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
AI2005-15
Heuristic Approach in Simulating Collaborative Systems Performance
Tad Gonsalves, Kiyoshi Itoh (Sophia Univ.)
pp. 1 - 6
AI2005-16
Qualitative validations of "One-Day Customer-Go-around Model"
Ichiro Toyoshima, Takashi Koiso, Takufumi Yoshida, Kanako Hattori, Naoki Imasaki (TOSHIBA)
pp. 7 - 12
AI2005-17
QSR Data Mining System for Dynamic Route Selection in Multimedia Communication Networks
Jing He (Konan Univ./Chinese Academy of Sciences), Wuyi Yue (Konan Univ.), Yong Shi (Chinese Academy of Sciences)
pp. 13 - 18
AI2005-18
Design and Security Verification of One-time ID Key-Exchange Protocol by Modal Logic
Kenji Imamoto, Kouichi Sakurai (Kyushu Univ.)
pp. 19 - 24
AI2005-19
Checking Liveness Properties of Concurrent Systems by Using Reinforcement Learning
Tadashi Araragi (NTT), Seung Mo Cho (Samsung)
pp. 25 - 30
AI2005-20
The Circum System
Toshiko Wakaki (Shibaura Inst. of Tech.), Katsumi Nitta (Tokyo Inst. of Tech.)
pp. 31 - 36