| 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, Nov 10, 2006 10:00 - 16:55 PLACE: TOPICS: ---------------------------------------- Fri, Nov 10 AM (10:00 - 12:00) ---------------------------------------- (1) 10:00 - 10:30 On securing open networks through trust and reputation - architecture, challenges and solutions Yufeng Wang, Yoshiaki Hori, Kouichi Sakurai (Kyushu Univ.) (2) 10:30 - 11:00 Fast Algorithms for inclusion check in a sequence set to extract Hiroki Ichikawa, Koji Iwanuma, Hidetomo Nabeshima (Uni. of Yamanashi) (3) 11:00 - 11:30 Sequential Pattern Mining for Web Access Logs Osamu Yoshida, Koji Iwanuma, Hidetomo Nabeshima (Univ. of Yamanashi) (4) 11:30 - 12:00 Automatic Mapping Mechanism for OWL Ontologies and Its Evaluation Takamichi Sakai, Tadashi Araragi (NTT) ---------------------------------------- Fri, Nov 10 PM (13:20 - 16:55) ---------------------------------------- (5) 13:20 - 13:50 [Tutorial Invited Lecture] Verification Methods for Security Protocols (1) -- Typical Errors in Security Proofs for Key Exchange Protocols -- Kenji Imamoto (Kyushu Univ.) (6) 13:50 - 14:35 [Tutorial Lecture] Verification Methods for Security Protocols (2) -- Around Abadi-Rogaway logic -- Tadashi Araragi (NTT CS labs) ----- Break ( 10 min. ) ----- (7) 14:45 - 15:15 On the combination of functionalities for key exchange protocol Kenji Imamoto (Kyushu Univ.), Tadashi Araragi (NTT), Kouichi Sakurai (Kyushu Univ.) (8) 15:15 - 15:45 Mechanization of Task-PIOA based Proving Procedure for Realization of Ideal Functionality Tadashi Araragi (NTT) ----- Break ( 10 min. ) ----- (9) 15:55 - 16:25 Consistency analysis between state charts and sequence charts by model checking Tetsuo Hasegawa (Waseda Univ. / Toshiba), Yoshiaki Fukazawa (Waseda Univ.) (10) 16:25 - 16:55 Compiling Prioritized Circumscription into General Disjunctive Programs by Integration of Guess and Check Programs Toshiko Wakaki (Shibaura Institute of Technology), Kazuo Tomita (NTT) === Technical Committee on Artificial Intelligence and Knowledge-Based Processing (AI) === # FUTURE SCHEDULE: Thu, Nov 30, 2006 - Fri, Dec 1, 2006: MEW(Shiodome) [Wed, Sep 20] Sun, Jan 14, 2007 - Tue, Jan 16, 2007 (tentative): [Fri, Jan 19] # SECRETARY: Secretaries of Special Interested Group of Artificial Intelligence and Knowledge E-mail:ai-  n    Last modified: 2006-10-11 18:08:31 |
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]