Information and Systems-Artificial Intelligence and Knowledge-Based Processing(Date:2005/10/14)

Presentation
表紙

,  

[Date]2005/10/14
[Paper #]
目次

,  

[Date]2005/10/14
[Paper #]
Heuristic Approach in Simulating Collaborative Systems Performance

Tad GONSALVES,  Kiyoshi ITOH,  

[Date]2005/10/14
[Paper #]AI2005-15
Qualitative verification of "One-Day Customer-Go-around Model"

Ichiro TOYOSHIMA,  Takashi KOISO,  Takufumi YOSHIDA,  Kanako HATTORI,  Naoki IMASAKI,  

[Date]2005/10/14
[Paper #]AI2005-16
QSR Data Mining System for Dynamic Route Selection in Multimedia Communication Networks

Jing HE,  Wuyi YUE,  Yong SHI,  

[Date]2005/10/14
[Paper #]AI2005-17
Design and Security Verification of One-time ID Key-Exchange Protocol by Modal Logic

Kenji IMAMOTO,  Kouichi SAKURAI,  

[Date]2005/10/14
[Paper #]AI2005-18
Checking Liveness Properties of Concurrent Systems by Using Reinforcement Learning

Tadashi Araragi,  Mo Cho Seung,  

[Date]2005/10/14
[Paper #]AI2005-19
The Circum System

Toshiko WAKAKI,  Katsumi NITTA,  

[Date]2005/10/14
[Paper #]AI2005-20
複写される方へ

,  

[Date]2005/10/14
[Paper #]
Notice about Photocopying

,  

[Date]2005/10/14
[Paper #]
奥付

,  

[Date]2005/10/14
[Paper #]