IEICE Technical Committee

Information and Systems-Software Science(Date:2017/11/16)

Presentation

[Invited Talk] Supervisory Control with Linear Temporal Logic Specifications

Ami Sakakibara(Osaka Univ.), Toshimitsu Ushio(Osaka Univ.),

[Date]2017-11-16
[Paper #]CAS2017-50,MSS2017-34

Document classification on unknown class using transfer learning

Masato Shirai(Shimane Univ.), Jianquan Liu(NEC),

[Date]2017-11-16
[Paper #]CAS2017-48,MSS2017-32

[Invited Talk] Some Optimization Problems in Energy Management Systems

Kota Hirato(TOSHIBA Energy Systems & Solutions),

[Date]2017-11-16
[Paper #]CAS2017-45,MSS2017-29

[Invited Talk] Recent Advances in Optimization Methods Applied to Sparse Signal Processing

Masao Yamagishi(Tokyo Inst. of Tech.),

[Date]2017-11-16
[Paper #]CAS2017-43,MSS2017-27

After the Symposium "Circuits and Systems Based on Imprecision-Tolerant Computing Schemes"

Shunsuke Koshita(Tohoku Univ.),

[Date]2017-11-16
[Paper #]CAS2017-40,MSS2017-24

The stable transmission tree and minimum cost transmission tree on wireless sensor network with mobile sink along the boundary

Yoshihiro Kaneko(Gifu Univ.), Tsubasa Yamada(Gifu Univ.), Takuya Tsujimoto(Gifu Univ.),

[Date]2017-11-16
[Paper #]CAS2017-47,MSS2017-31

Logic to represent change of event frequency

Osamu Takaki(Gunma Univ.),

[Date]2017-11-16
[Paper #]CAS2017-49,MSS2017-33

Modeling and simulation of motion of a multirotor in a light wind

Kaito Isogai(SIT), Hideo Nakano(SIT), Hideaki Okazaki(SIT),

[Date]2017-11-16
[Paper #]CAS2017-41,MSS2017-25

An Effectiveness on a Fieldwork with Smart Voice Messaging system

Masanori Okada(Kanazawa Gakuin Univ.), Naoshi Uchihira(JAIST), Kunihiko Hiraishi(JAIST), Susumu Kunifuji(JAIST),

[Date]2017-11-16
[Paper #]CAS2017-46,MSS2017-30

Modeling and simulation of motion of an underwater robot in a mild stream

Munenari Sako(SIT), Kouki Fukuda(SIT), Kaito Isogai(SIT), Hideo Nakano(SIT), Hideaki Okazaki(SIT),

[Date]2017-11-16
[Paper #]CAS2017-42,MSS2017-26

[Invited Talk] On the Recognition of Unit Grid Intersection Graphs

Satoshi Tayu(Tokyo Inst. of Tech.), Shuichi Ueno(Tokyo Inst. of Tech.),

[Date]2017-11-16
[Paper #]CAS2017-44,MSS2017-28

Performance Comparison of Machine Learning and Process Mining in Evaluation of Software Development Processes

Hitoshi Shiozawa(JAIST), Kunihiko Hiraishi(JAIST),

[Date]2017-11-17
[Paper #]CAS2017-51,MSS2017-35

Hierarchical Reinforcement Learning of Stationary Policy Satisfying Linear Temporal Logic Constraints

Yuma Yamakura(Osaka Univ.), Toshimitsu Ushio(Osaka Univ.),

[Date]2017-11-17
[Paper #]CAS2017-57,MSS2017-41

Quantitative safety assessment of telemedicine using the MCCA

Kenji Fujita(JAIST), Toshiaki Aoki(JAIST), Kunihiko Hiraishi(JAIST),

[Date]2017-11-17
[Paper #]CAS2017-52,MSS2017-36

Game Model of Selfish Consumers in Power Consumption Reduction Problem under Aggregator's Incentive Allocation

Yuta Hasegawa(Osaka Univ.), Takafumi Kanazawa(Osaka Univ.),

[Date]2017-11-17
[Paper #]CAS2017-58,MSS2017-42

Development and Implementation of an Algorithm to Synthesize State Machines from Two Communication Diagrams

Kazuya Tominaga(Osaka Univ.), Toshiki Kinoshita(Osaka Univ.), Toshiyuki Miyamoto(Osaka Univ.),

[Date]2017-11-17
[Paper #]CAS2017-60,MSS2017-44

Colored Petri Net based Automatic Generation of Mathematical Programming for Optimum Resource Assignment Problems

Ryosuke Ushijima(Univ. of the Ryukyus), Takeshi Tengan(Meio Univ.), Andrea Veronica Porco(Univ. of the Ryukyus), Morikazu Nakamura(Univ. of the Ryukyus),

[Date]2017-11-17
[Paper #]CAS2017-61,MSS2017-45

Generating covering arrays by combining heuristic search and backtracking

Toshiki Sato(Niigata Univ.), Toshihiko Takahashi(Niigata Univ.),

[Date]2017-11-17
[Paper #]CAS2017-54,MSS2017-38

A SAT-based method for generating locating arrays

Tatsuya Konishi(Osaka Univ.), Hideharu Kojima(Osaka Univ.), Hiroyuki Nakagawa(Osaka Univ.), Tatsuhiro Tsuchiya(Osaka Univ.),

[Date]2017-11-17
[Paper #]CAS2017-62,MSS2017-46

[Invited Talk] Open Data of Air Traffic and its Application

Megumi Oka(ENRI), Yutaka Fukuda(ENRI),

[Date]2017-11-17
[Paper #]CAS2017-53,MSS2017-37