電子情報通信学会技術研究報告

Print edition: ISSN 0913-5685
Online edition: ISSN 2432-6380

vol. 105, no. 361

人工知能と知識処理

[PREV] [NEXT]

AI2005-15
ヒューリスティクアプローチによる協調システムの性能シミュレーション
○タッド ゴンサルベス・伊藤　潔（上智大）
pp. 1 - 6

AI2005-16
店舗内回遊モデルの定性的検証
○豊嶋伊知郎・小磯貴史・吉田琢史・服部可奈子・今崎直樹（東芝）
pp. 7 - 12

AI2005-17
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）
pp. 13 - 18

AI2005-18
ワンタイムID鍵交換プロトコルの設計，および様相論理による安全性検証
○今本健二・櫻井幸一（九大）
pp. 19 - 24

AI2005-19
Checking Liveness Properties of Concurrent Systems by Using Reinforcement Learning
○Tadashi Araragi（NTT）・Seung Mo Cho（Samsung）
pp. 25 - 30

AI2005-20
The Circum System
○Toshiko Wakaki（Shibaura Inst. of Tech.）・Katsumi Nitta（Tokyo Inst. of Tech.）
pp. 31 - 36

今後、次の点を修正する予定です。(1)欠けている表紙画像・奥付画像を補完いたします。(2)欠けている発行日の情報を補完いたします。