| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
システム数理と応用研究会 (MSS) (検索条件: 2014年度)
「from:2015-03-05 to:2015-03-05」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS | 2015-03-05 13:00 |
石川 | ITビジネスプラザ武蔵 | 完全グラフのトポロジカルキューレイアウトの改良 ○宮内美樹（NTT）  MSS2014-91 |
本論文では，グラフの頂点を1直線上に並べ，各辺がqueue となるように配置する グラフのqueueレイアウトを扱う．... [more] |
MSS2014-91 pp.1-6 |
| MSS | 2015-03-05 13:25 |
石川 | ITビジネスプラザ武蔵 | 状態遷移モデルの学習に基づく最適LLPスーパバイザの構成 ○梅本 聖・山崎達志（摂南大） MSS2014-92 |
複数のサブシステムから構成される離散事象システムに対し，著者らは強化学習を用いた最適LLPスーパバイザ制御を提案している... [more] | MSS2014-92 pp.7-12 |
| MSS | 2015-03-05 13:50 |
石川 | ITビジネスプラザ武蔵 | 構造変化を伴う大規模建造物における経路探索アルゴリズムについて ○清水智広・梅野 健（京大）・岡部亜梨子・榎本敦子・野中洋一（日立） MSS2014-93 |
近年,産業システムを高効率化する Internet of Things に関連する動きが世界て|... [more] | MSS2014-93 pp.13-18 |
| MSS | 2015-03-05 15:30 |
石川 | ITビジネスプラザ武蔵 | 並列分散処理を用いたソフトウェア変更履歴からのコードクローンの検出 ○茶谷 慎・櫻井孝平・山根 智（金沢大） MSS2014-94 |
版管理システムを利用した開発において，ソースコードの変更履歴から検出したコードクローンは，過去のコードの再利用や，変更，... [more] | MSS2014-94 pp.19-24 |
| MSS | 2015-03-05 16:05 |
石川 | ITビジネスプラザ武蔵 | Deep Learningを用いた個別株価の予測 ○松本和也・櫻井孝平・山根 智（金沢大） MSS2014-95 |
[more] | MSS2014-95 pp.25-30 |
| MSS | 2015-03-05 16:25 |
石川 | ITビジネスプラザ武蔵 | Boolean mapping of a multivalued model using GINsim
-- A toy example -- ○Kaori Mitani・Hiroshi Matsuno・Adrien Faure（Yamaguchi Univ.） MSS2014-96 |
[more] | MSS2014-96 pp.31-34 |
| MSS | 2015-03-05 16:45 |
石川 | ITビジネスプラザ武蔵 | 基礎語彙に基づく言語系統樹生成のための形質状態データの作成手法 ○松浦佑哉（山口大）・呉 靭（山口短大）・松野浩嗣（山口大） MSS2014-97 |
[more] | MSS2014-97 pp.35-40 |
| MSS | 2015-03-05 17:05 |
石川 | ITビジネスプラザ武蔵 | 依存縮約による滞留なしペトリネットの等価変換 ○水田淳史・葛 崎偉・松野浩嗣（山口大） MSS2014-98 |
我々はこれまで，シグナル伝達経路モデルである滞留なしペトリネットにおけるトランジション間の依存関係に基づいた依存縮約の性... [more] | MSS2014-98 pp.41-46 |
| MSS | 2015-03-06 10:00 |
石川 | ITビジネスプラザ武蔵 | 線形ハイブリッドオートマタのCEGARを適用したSMTベースモデル検査 ○冨坂征平・柳瀬 龍・櫻井孝平・山根 智（金沢大） MSS2014-99 |
[more] | MSS2014-99 pp.47-52 |
| MSS | 2015-03-06 10:25 |
石川 | ITビジネスプラザ武蔵 | 割込み遷移削減手法を導入した組込みアセンブリコード向けSMTベースモデル検査器の開発 ○小橋潤平・竹下 淳・山根 智・櫻井孝平（金沢大） MSS2014-100 |
近年の発展を続けている組込みシステムにおいて, ハードウェアに依存する性質を持つソフトウェアが用いられており, 開発期間... [more] | MSS2014-100 pp.53-58 |
| MSS | 2015-03-06 13:30 |
石川 | ITビジネスプラザ武蔵 | 大規模グラフのノード分割と逐次集約による並列分散クラスタリングアルゴリズム ○浅山 陸・櫻井孝平・山根 智（金沢大） MSS2014-101 |
大規模なグラフ構造データに対して，ノード分割による分散配置とノードの逐次集約の並列処理による高速なクラスタリングアルゴリ... [more] | MSS2014-101 pp.59-64 |
| MSS | 2015-03-06 13:55 |
石川 | ITビジネスプラザ武蔵 | 組込みアセンブリプログラムからのモデル抽出による記号モデル検査 ○加藤友紀・公下亮佑・櫻井孝平・山根 智（金沢大） MSS2014-102 |
組込みシステムは，広く利用されており，徐々に複雑化している．複雑化している組込みシステムを安全に運用するためには，システ... [more] | MSS2014-102 pp.65-70 |
| MSS | 2015-03-06 14:20 |
石川 | ITビジネスプラザ武蔵 | 古文書画像検索システムにおける類似部分グラフ検索手法の提案 ○長岡弘祥・飯野雄一郎・中田 充・葛 崎偉（山口大） MSS2014-103 |
本論文では，古文書画像検索システムにおける類似部分画像検索で用いる類似部分グラフ検索手法を 提案する．本研究で実現する... [more] |
MSS2014-103 pp.71-76 |
[研究会発表申込システムのトップページに戻る]