|
|
Technical Committee on Artificial Intelligence and Knowledge-Based Processing (AI) (Searched in: 2005)
|
|
Search Results: Keywords 'from:2005-10-21 to:2005-10-21'
|
[Go to Official AI Homepage] |
Search Results: Conference Papers |
Conference Papers (Available on Advance Programs) (Sort by: Date Ascending) |
|
Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
AI |
2005-10-21 10:30 |
Kyoto |
|
Heuristic Approach in Simulating Collaborative Systems Performance Tad Gonsalves, Kiyoshi Itoh (Sophia Univ.) |
[more] |
AI2005-15 pp.1-6 |
AI |
2005-10-21 10:55 |
Kyoto |
|
Qualitative validations of "One-Day Customer-Go-around Model" Ichiro Toyoshima, Takashi Koiso, Takufumi Yoshida, Kanako Hattori, Naoki Imasaki (TOSHIBA) |
We proposed ``One-Day Customer-Go-around Model'', which is derived from real customer moving-trail data, in[5]. This pap... [more] |
AI2005-16 pp.7-12 |
AI |
2005-10-21 11:20 |
Kyoto |
|
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) |
This paper presents a new data mining system for quality of service capable switch-router (QSR) called QSR data mining s... [more] |
AI2005-17 pp.13-18 |
AI |
2005-10-21 13:00 |
Kyoto |
|
[Tutorial Lecture]
The Basics of Formal Verification (model check algorithm)
-- SMV、SPIN、Athena -- Tadashi Araragi (NTT) |
[more] |
|
AI |
2005-10-21 14:10 |
Kyoto |
|
Design and Security Verification of One-time ID Key-Exchange Protocol by Modal Logic Kenji Imamoto, Kouichi Sakurai (Kyushu Univ.) |
In order to conceal user's identity from eavesdroppers and construct a system
with high scalability, we propose a thre... [more] |
AI2005-18 pp.19-24 |
AI |
2005-10-21 14:35 |
Kyoto |
|
Formal Verification of Crash Failure Tolerance Algorithm(口頭発表)
-- Formal Verification of Distributed Systems in Unbounded Number of Processes -- Pierre Metrailler (EPFL), Tadashi Araragi (NTT) |
[more] |
|
AI |
2005-10-21 15:10 |
Kyoto |
|
Checking Liveness Properties of Concurrent Systems by Using Reinforcement Learning Tadashi Araragi (NTT), Seung Mo Cho (Samsung) |
[more] |
AI2005-19 pp.25-30 |
AI |
2005-10-21 15:35 |
Kyoto |
|
The Circum System Toshiko Wakaki (Shibaura Inst. of Tech.), Katsumi Nitta (Tokyo Inst. of Tech.) |
\begin{eabstract}
So far many studies have been proposed for the automation of
circumscription. However, not only few... [more] |
AI2005-20 pp.31-36 |
AI |
2005-10-21 16:10 |
Kyoto |
|
[Invited Talk]
Overview of Research Activities of AIST Research Center for Verification and Semantics Yoshiki Kinoshita (CVS) |
[more] |
|
|
|
|
[Return to Top Page]
[Return to IEICE Web Page]
|