お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール		 技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
（ 研究会名/開催地/テーマ  ）→
 
（ 講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード ）→

人工知能と知識処理研究会 (AI)  (検索条件: 2005年度)

「from:2005-10-21 to:2005-10-21」による検索結果
[人工知能と知識処理研究会ホームページへ] 
講演検索結果
 登録講演（開催プログラムが公開されているもの）  （日付・昇順）
 9件中　1～9件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
AI 2005-10-21
10:30		 京都 アピカルイン京都 ヒューリスティクアプローチによる協調システムの性能シミュレーション
○タッド ゴンサルベス・伊藤　潔（上智大） 		 [more] AI2005-15
pp.1-6
AI 2005-10-21
10:55		 京都 アピカルイン京都 店舗内回遊モデルの定性的検証
○豊嶋伊知郎・小磯貴史・吉田琢史・服部可奈子・今崎直樹（東芝） 		我々は2005年3月の本研究会において，顧客動線データに基づく小売店舗一日回遊モデルを提案した．本研究はその実装及び検証... [more] AI2005-16
pp.7-12
AI 2005-10-21
11:20		 京都 アピカルイン京都 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 ... [more] AI2005-17
pp.13-18
AI 2005-10-21
13:00		 京都 アピカルイン京都 ［チュートリアル講演］形式的検証（モデルチェック技術）の基本（口頭発表） ～ SMV、SPIN、Athenaを中心に ～
○櫟　粛之（NTT） 		 [more]
AI 2005-10-21
14:10		 京都 アピカルイン京都 ワンタイムID鍵交換プロトコルの設計，および様相論理による安全性検証
○今本健二・櫻井幸一（九大） 		既知共有鍵モデルにおけるユーザの身元識別情報の漏えいを防ぎ，拡張性の高いシステムを構成するため，使い捨ての識別情報"ワン... [more] AI2005-18
pp.19-24
AI 2005-10-21
14:35		 京都 アピカルイン京都 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		 京都 アピカルイン京都 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		 京都 アピカルイン京都 極小限定モデル生成系
○若木利子（芝浦工大）・新田克己（東工大） 		\begin{jabstract}
これ迄，極小限定に関する理論研究は数多く行われてきたが，極小限定の効率的実装に関す... [more]		 AI2005-20
pp.31-36
AI 2005-10-21
16:10		 京都 アピカルイン京都 ［招待講演］産業技術総合研究所「システム検証研究センター」 研究活動の概要（口頭発表）
○木下佳樹（産総研） 		 [more]
 9件中　1～9件目  /   
ダウンロード書式の初期値を指定してください ＮＥＷ！！
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式

[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]
IEICE / 電子情報通信学会