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

お知らせ研究会の開催と会場に参加される皆様へのお願い（2022年6月開催～）

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

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

[Japanese] / [English]

（

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

）→

（

講演検索

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

）→

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

「from:2005-10-21 to:2005-10-21」による検索結果

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

講演検索結果

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

研究会	発表日時	開催地		タイトル・著者	抄録	資料番号
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]

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

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

IEICE / 電子情報通信学会