| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev AI Conf / Next AI Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Artificial Intelligence and Knowledge-Based Processing (AI) Chair: Koji Iwanuma Vice Chair: Akihiko Ohsuga, Yasuhiko Kitamura Secretary: Tadashi Araragi, Satoshi Kurihara Assistant: Hidetomo Nabeshima DATE: Fri, Oct 21, 2005 10:30 - 17:10 PLACE: (NTT CS研. 0774-93-5112) TOPICS: ---------------------------------------- Fri, Oct 21 AM (10:30 - 11:45) ---------------------------------------- (1) 10:30 - 10:55 Heuristic Approach in Simulating Collaborative Systems Performance Tad Gonsalves, Kiyoshi Itoh (Sophia Univ.) (2) 10:55 - 11:20 Qualitative validations of "One-Day Customer-Go-around Model" Ichiro Toyoshima, Takashi Koiso, Takufumi Yoshida, Kanako Hattori, Naoki Imasaki (TOSHIBA) (3) 11:20 - 11:45 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) ----- Lunch Break ( 75 min. ) ----- ---------------------------------------- Fri, Oct 21 PM (13:00 - 17:10) ---------------------------------------- (4) 13:00 - 14:00 [Tutorial Lecture] The Basics of Formal Verification (model check algorithm) -- SMV、SPIN、Athena -- Tadashi Araragi (NTT) ----- Break ( 10 min. ) ----- (5) 14:10 - 14:35 Design and Security Verification of One-time ID Key-Exchange Protocol by Modal Logic Kenji Imamoto, Kouichi Sakurai (Kyushu Univ.) (6) 14:35 - 15:00 Formal Verification of Crash Failure Tolerance Algorithm(口頭発表) -- Formal Verification of Distributed Systems in Unbounded Number of Processes -- Pierre Metrailler (EPFL), Tadashi Araragi (NTT) ----- Break ( 10 min. ) ----- (7) 15:10 - 15:35 Checking Liveness Properties of Concurrent Systems by Using Reinforcement Learning Tadashi Araragi (NTT), Seung Mo Cho (Samsung) (8) 15:35 - 16:00 The Circum System Toshiko Wakaki (Shibaura Inst. of Tech.), Katsumi Nitta (Tokyo Inst. of Tech.) ----- Break ( 10 min. ) ----- (9) 16:10 - 17:10 [Invited Talk] Overview of Research Activities of AIST Research Center for Verification and Semantics Yoshiki Kinoshita (CVS) === Technical Committee on Artificial Intelligence and Knowledge-Based Processing (AI) === # FUTURE SCHEDULE: Thu, Jan 12, 2006 - Fri, Jan 13, 2006: [Fri, Nov 18] # SECRETARY: Secretaries of Special Interested Group of Artificial Intelligence and Knowledge E-mail:ai-  n    Last modified: 2005-08-29 14:08:58 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to AI Schedule Page] /
| Go Top | Go Back | Prev AI Conf / Next AI Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]