研究会 - 人工知能と知識処理研究会 (AI)

お知らせ 2023年度・2024年度学生員会費割引キャンペーン実施中です
お知らせ技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について

電子情報通信学会研究会発表申込システム
研究会開催スケジュール

技報閲覧サービス
[ログイン]
技報アーカイブ

[Japanese] / [English]

（

研究会名/開催地/テーマ

）→

（

講演検索

検索語: / 範囲:題目著者所属抄録キーワード

）→

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

「from:2006-11-10 to:2006-11-10」による検索結果

[人工知能と知識処理研究会ホームページへ]

講演検索結果

登録講演（開催プログラムが公開されているもの） （日付・昇順）

研究会	発表日時	開催地		タイトル・著者	抄録	資料番号
AI	2006-11-10 10:00	京都	アピカルイン京都	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	京都	アピカルイン京都	極大系列抽出を目的とする系列包含検査の高速化アルゴリズム ○市川博規・岩沼宏治・鍋島英知（山梨大）	[more]	AI2006-13 pp.7-12
AI	2006-11-10 11:00	京都	アピカルイン京都	WEBアクセスログに対する系列データマイニング～ページ滞在時間系列の解析～ ○吉田　修・岩沼宏治・鍋島英知（山梨大）	[more]	AI2006-14 pp.13-18
AI	2006-11-10 11:30	京都	アピカルイン京都	ＯＷＬオントロジー間の自動対応付け手法の提案と評価 ○酒井隆道・櫟　粛之（NTT）	意味に関する相互運用性を実現するためにオントロジーを活用することが提案されている．しかし，オープンかつグローバルな環境に... [more]	AI2006-15 pp.19-24
AI	2006-11-10 13:20	京都	アピカルイン京都	［チュートリアル招待講演］セキュリティプロトコルの検証技術（１）～カギ交換プロトコルの安全性証明でよく見られる誤り～ ○今本健二（九大）	[more]	AI2006-16 pp.25-28
AI	2006-11-10 13:50	京都	アピカルイン京都	［チュートリアル講演］口頭発表セキュリティプロトコルの検証技術（２）～ Abadi-Rogaway logic を中心に～ ○櫟　粛之（NTT）	[more]
AI	2006-11-10 14:45	京都	アピカルイン京都	鍵交換プロトコルのFunctionality合成について ○今本健二（九大）・櫟　粛之（NTT）・櫻井幸一（九大）	[more]	AI2006-17 pp.29-33
AI	2006-11-10 15:15	京都	アピカルイン京都	Task-PIOAに基づくIdeal Functionality実現の証明の自動化 ○櫟　粛之（NTT）	[more]	AI2006-18 pp.35-39
AI	2006-11-10 15:55	京都	アピカルイン京都	モデル検査によるステートチャートとシーケンスチャートの整合性検証 ○長谷川哲夫（早大/東芝）・深澤良彰（早大）	[more]	AI2006-19 pp.41-46
AI	2006-11-10 16:25	京都	アピカルイン京都	生成と検査の論理プログラムの統合による優先順位付き極小限定の一般選言論理プログラムへの変換 ○若木利子（芝浦工大）・富田一夫（NTT）	[more]	AI2006-20 pp.47-52

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

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

IEICE / 電子情報通信学会