お知らせ 研究会の開催と会場に参加される皆様へのお願い(2021年10月開催~)
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [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 HeKonan Univ./Chinese Academy of Sciences)・Wuyi YueKonan Univ.)・Yong ShiChinese 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 MetraillerEPFL)・○Tadashi AraragiNTT
 [more]
AI 2005-10-21
15:10
京都 アピカルイン京都 Checking Liveness Properties of Concurrent Systems by Using Reinforcement Learning
Tadashi AraragiNTT)・Seung Mo ChoSamsung
 [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件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式


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

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


IEICE / 電子情報通信学会