IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

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)
 Results 1 - 9 of 9  /   
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]
 Results 1 - 9 of 9  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format


[Return to Top Page]

[Return to IEICE Web Page]


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