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-kanji@mail.ieice.org


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.
 

[Presentation and Participation FAQ] (in Japanese)
 
[Cover and Index of IEICE Technical Report by Issue]
 

[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