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) [schedule] [select]
Chair Koji Iwanuma
Vice Chair Akihiko Ohsuga, Yasuhiko Kitamura
Secretary Tadashi Araragi, Satoshi Kurihara
Assistant Hidetomo Nabeshima

Conference Date Fri, Oct 21, 2005 10:30 - 17:10
Topics  
Conference Place  
Contact
Person
NTT CS研
0774-93-5112

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)
  11:45-13:00 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)
  14:00-14:10 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)
  15:00-15:10 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.)
  16:00-16:10 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)

Contact Address and Latest Schedule Information
AI Technical Committee on Artificial Intelligence and Knowledge-Based Processing (AI)   [Latest Schedule]
Contact Address 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]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan