| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS, SS (共催) |
2015-01-27 09:20 |
鳥取 | ブランナールみささ | 部分観測におけるMaxSATソルバを用いたスーパバイザ合成手法 ○廣田 樹・結縁祥治（名大）・東道徹也（デンソー）  MSS2014-82 SS2014-46 |
部分観測のもとでの離散事象システムのスーパバイザ構成アルゴリズムは指数時間であることが知られて いる．部分観測のもとで... [more] |
MSS2014-82 SS2014-46 pp.79-84 |
| SS | 2014-10-24 10:30 |
高知 | 高知市文化プラザかるぽーと | 離散事象システムにおけるMaxSATソルバを用いた最大可制御部分仕様の導出 ○廣田 樹・結縁祥治（名大）・東道徹也（デンソー） SS2014-31 |
離散事象システム（DES）とは，事象の離散的な生起により状態が遷移するシステムの総称である．離散事象システムでは，システ... [more] | SS2014-31 pp.35-40 |
[研究会発表申込システムのトップページに戻る]