|
|
|
|
|
Technical Committee on Artificial Intelligence and Knowledge-Based Processing (AI) (Searched in: 2006)
|
|
|
|
Search Results: Keywords 'from:2006-11-10 to:2006-11-10'
|
| [Go to Official AI Homepage] |
| Search Results: Conference Papers |
| Conference Papers (Available on Advance Programs) (Sort by: Date Ascending) |
|
|
| Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
| AI |
2006-11-10
10:00 |
Kyoto |
|
On securing open networks through trust and reputation - architecture, challenges and solutions
Yufeng Wang, Yoshiaki Hori, Kouichi Sakurai (Kyushu Univ.) |
[more] |
AI2006-12
pp.1-6 |
| AI |
2006-11-10
10:30 |
Kyoto |
|
Fast Algorithms for inclusion check in a sequence set to extract
Hiroki Ichikawa, Koji Iwanuma, Hidetomo Nabeshima (Uni. of Yamanashi) |
[more] |
AI2006-13
pp.7-12 |
| AI |
2006-11-10
11:00 |
Kyoto |
|
Sequential Pattern Mining for Web Access Logs
Osamu Yoshida, Koji Iwanuma, Hidetomo Nabeshima (Univ. of Yamanashi) |
[more] |
AI2006-14
pp.13-18 |
| AI |
2006-11-10
11:30 |
Kyoto |
|
Automatic Mapping Mechanism for OWL Ontologies and Its Evaluation
Takamichi Sakai, Tadashi Araragi (NTT) |
To ensure semantic interoperability, utilizing ontologies has been suggested. However, in an open and global environment... [more] |
AI2006-15
pp.19-24 |
| AI |
2006-11-10
13:20 |
Kyoto |
|
[Tutorial Invited Lecture]
Verification Methods for Security Protocols (1)
-- Typical Errors in Security Proofs for Key Exchange Protocols --
Kenji Imamoto (Kyushu Univ.) |
[more] |
AI2006-16
pp.25-28 |
| AI |
2006-11-10
13:50 |
Kyoto |
|
[Tutorial Lecture]
Verification Methods for Security Protocols (2)
-- Around Abadi-Rogaway logic --
Tadashi Araragi (NTT CS labs) |
[more] |
|
| AI |
2006-11-10
14:45 |
Kyoto |
|
On the combination of functionalities for key exchange protocol
Kenji Imamoto (Kyushu Univ.), Tadashi Araragi (NTT), Kouichi Sakurai (Kyushu Univ.) |
[more] |
AI2006-17
pp.29-33 |
| AI |
2006-11-10
15:15 |
Kyoto |
|
Mechanization of Task-PIOA based Proving Procedure for Realization of Ideal Functionality
Tadashi Araragi (NTT) |
[more] |
AI2006-18
pp.35-39 |
| AI |
2006-11-10
15:55 |
Kyoto |
|
Consistency analysis between state charts and sequence charts by model checking
Tetsuo Hasegawa (Waseda Univ. / Toshiba), Yoshiaki Fukazawa (Waseda Univ.) |
[more] |
AI2006-19
pp.41-46 |
| AI |
2006-11-10
16:25 |
Kyoto |
|
Compiling Prioritized Circumscription into General Disjunctive Programs by Integration of Guess and Check Programs
Toshiko Wakaki (Shibaura Institute of Technology), Kazuo Tomita (NTT) |
[more] |
AI2006-20
pp.47-52 |
|
|
|
|
|
[Return to Top Page]
[Return to IEICE Web Page]
|