情報・システム-画像工学(開催日:2019/01/15)

タイトル/著者/発表日/資料番号
論理制約付き書換えにおける構造体および共用体の表現について

金澤 慶明(名大),  西田 直樹(名大),  酒井 正彦(名大),  

[発表日]2019-01-16
[資料番号]MSS2018-67,SS2018-38
最適速度交通流モデルに基づく並列多段工程を有する生産ラインの分配パラメータ設計

佐野 徹(阪府大),  小西 啓治(阪府大),  伊藤 岳大(NEC),  若山 永哉(NEC),  

[発表日]2019-01-16
[資料番号]MSS2018-70,SS2018-41
グラフのトポロジカルキューレイアウトの簡潔な証明

宮内 美樹(NTT),  

[発表日]2019-01-16
[資料番号]MSS2018-71,SS2018-42
項書換えにおけるナローイング計算木のベーシックナローイングへの拡張

前田 侑也(名大),  西田 直樹(名大),  酒井 正彦(名大),  小林 倫也(名大),  

[発表日]2019-01-16
[資料番号]MSS2018-68,SS2018-39
SMTソルバを用いた時間ペトリネットの非有界モデル検査

井川 直(岡山県立大),  横川 智教(岡山県立大),  近藤 真史(川崎医療福祉大),  佐藤 洋一郎(岡山県立大),  有本 和民(岡山県立大),  

[発表日]2019-01-16
[資料番号]MSS2018-69,SS2018-40
相関マイニングとワークフローネットによるユーザの嗜好抽出方法とその評価尺度の提案

モハマド アヌアルッディン ビン アハマドン(山口大),  ピヤティダ サコーン(カセサート大),  山口 真悟(山口大),  

[発表日]2019-01-16
[資料番号]MSS2018-75,SS2018-46
GearsOSのHoare Logicをベースにした検証手法

外間 政尊(琉球大),  河野 真治(琉球大),  

[発表日]2019-01-16
[資料番号]MSS2018-74,SS2018-45
<<12 21-27hit(27hit)