| Conference Date |
Thu, Nov 16, 2017 09:15 - 17:55
Fri, Nov 17, 2017 09:15 - 16:55 |
| Topics |
|
| Conference Place |
|
| Sponsors |
This conference is technical co-sponsored by IEEE Circuits and Systems Society Japan Chapter（IEEE CASS JC）.
|
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Thu, Nov 16 AM
09:15 - 10:30 |
(1)
CAS |
09:15-09:40 |
After the Symposium "Circuits and Systems Based on Imprecision-Tolerant Computing Schemes"  CAS2017-40 MSS2017-24 |
Shunsuke Koshita (Tohoku Univ.) |
(2)
CAS |
09:40-10:05 |
Modeling and simulation of motion of a multirotor in a light wind CAS2017-41 MSS2017-25 |
Kaito Isogai, Hideo Nakano, Hideaki Okazaki (SIT) |
(3)
CAS |
10:05-10:30 |
Modeling and simulation of motion of an underwater robot in a mild stream CAS2017-42 MSS2017-26 |
Munenari Sako, Kouki Fukuda, Kaito Isogai, Hideo Nakano, Hideaki Okazaki (SIT) |
| |
10:30-10:35 |
Break ( 5 min. ) |
Thu, Nov 16 AM
10:35 - 11:15 |
(4)
CAS |
10:35-11:15 |
[Invited Talk]
Recent Advances in Optimization Methods Applied to Sparse Signal Processing CAS2017-43 MSS2017-27 |
Masao Yamagishi (Tokyo Inst. of Tech.) |
| |
11:15-11:20 |
Break ( 5 min. ) |
Thu, Nov 16 AM
11:20 - 12:00 |
(5)
CAS |
11:20-12:00 |
[Invited Talk]
On the Recognition of Unit Grid Intersection Graphs CAS2017-44 MSS2017-28 |
Satoshi Tayu, Shuichi Ueno (Tokyo Inst. of Tech.) |
| |
12:00-13:00 |
Lunch Break ( 60 min. ) |
Thu, Nov 16 PM
13:00 - 13:45 |
(6)
MSS |
13:00-13:45 |
[Invited Talk]
Some Optimization Problems in Energy Management Systems CAS2017-45 MSS2017-29 |
Kota Hirato (TOSHIBA Energy Systems & Solutions) |
| |
13:45-13:50 |
Break ( 5 min. ) |
Thu, Nov 16 PM
13:50 - 15:05 |
| (7) |
13:50-14:15 |
The Coloring Reconfiguration Problem on Specific Graph Classes
〇Tatsuhiko Hatanaka・Takehiro Ito・Xiao Zhou（Tohoku Univ.） |
| (8) |
14:15-14:40 |
Complexity of Coloring Reconfiguration under Recolorability Constraints
〇Hiroki Osawa・Akira Suzuki・Takehiro Ito・Xiao Zhou（Tohoku Univ.） |
| (9) |
14:40-15:05 |
Efficient Algorithms for the Partial Sum Dispersion Problem
Toshihiro Akagi（Gunma Univ.）・〇Tetsuya Araki・Hiroshi Ishikawa（Tokyo Metropolitan Univ.）・Shin-ichi Nakano（Gunma Univ.） |
| |
15:05-15:15 |
Break ( 10 min. ) |
Thu, Nov 16 PM
15:15 - 16:55 |
(10)
MSS |
15:15-15:40 |
An Effectiveness on a Fieldwork with Smart Voice Messaging system CAS2017-46 MSS2017-30 |
Masanori Okada (Kanazawa Gakuin Univ.), Naoshi Uchihira, Kunihiko Hiraishi, Susumu Kunifuji (JAIST) |
(11)
MSS |
15:40-16:05 |
The stable transmission tree and minimum cost transmission tree on wireless sensor network with mobile sink along the boundary CAS2017-47 MSS2017-31 |
Yoshihiro Kaneko, Tsubasa Yamada, Takuya Tsujimoto (Gifu Univ.) |
(12)
MSS |
16:05-16:30 |
Document classification on unknown class using transfer learning CAS2017-48 MSS2017-32 |
Masato Shirai (Shimane Univ.), Jianquan Liu (NEC) |
(13)
MSS |
16:30-16:55 |
Logic to represent change of event frequency CAS2017-49 MSS2017-33 |
Osamu Takaki (Gunma Univ.) |
| |
16:55-17:00 |
Break ( 5 min. ) |
Thu, Nov 16 PM
17:00 - 17:55 |
(14)
MSS |
17:00-17:55 |
[Invited Talk]
Supervisory Control with Linear Temporal Logic Specifications CAS2017-50 MSS2017-34 |
Ami Sakakibara, Toshimitsu Ushio (Osaka Univ.) |
Fri, Nov 17 AM
09:15 - 10:10 |
| (15) |
09:15-09:40 |
|
| (16) |
09:40-10:05 |
|
| (17) |
10:05-10:10 |
|
| |
10:10-10:15 |
Break ( 5 min. ) |
Fri, Nov 17 AM
10:15 - 11:05 |
(18)
MSS |
10:15-10:40 |
Performance Comparison of Machine Learning and Process Mining in Evaluation of Software Development Processes CAS2017-51 MSS2017-35 |
Hitoshi Shiozawa, Kunihiko Hiraishi (JAIST) |
(19)
MSS |
10:40-11:05 |
Quantitative safety assessment of telemedicine using the MCCA CAS2017-52 MSS2017-36 |
Kenji Fujita, Toshiaki Aoki, Kunihiko Hiraishi (JAIST) |
| |
11:05-11:15 |
Break ( 10 min. ) |
Fri, Nov 17 AM
11:15 - 12:00 |
(20)
MSS |
11:15-12:00 |
[Invited Talk]
Open Data of Air Traffic and its Application CAS2017-53 MSS2017-37 |
Megumi Oka, Yutaka Fukuda (ENRI) |
| |
12:00-13:00 |
Break ( 60 min. ) |
Fri, Nov 17 PM
13:00 - 14:15 |
(21)
CAS |
13:00-13:25 |
Generating covering arrays by combining heuristic search and backtracking CAS2017-54 MSS2017-38 |
Toshiki Sato, Toshihiko Takahashi (Niigata Univ.) |
(22)
CAS |
13:25-13:50 |
Independent Spanning Trees on Pancake Graphs CAS2017-55 MSS2017-39 |
Daichi Matsui, Toshinori Yamada (Saitama Univ.) |
(23)
CAS |
13:50-14:15 |
Dynamic Compact Routing Tolerating Node Faults CAS2017-56 MSS2017-40 |
Yuki Takahashi, Toshinori Yamada (Saitama Univ.) |
| |
14:15-14:20 |
Break ( 5 min. ) |
Fri, Nov 17 PM
14:20 - 15:35 |
(24)
MSS |
14:20-14:45 |
Hierarchical Reinforcement Learning of Stationary Policy Satisfying Linear Temporal Logic Constraints CAS2017-57 MSS2017-41 |
Yuma Yamakura, Toshimitsu Ushio (Osaka Univ.) |
(25)
MSS |
14:45-15:10 |
Game Model of Selfish Consumers in Power Consumption Reduction Problem under Aggregator's Incentive Allocation CAS2017-58 MSS2017-42 |
Yuta Hasegawa, Takafumi Kanazawa (Osaka Univ.) |
(26)
MSS |
15:10-15:35 |
Imitative Dynamics Based on Ordered Weighted Average of Payoff Differences and Its Relation with Equilibrium Concepts in Multicriteria Games CAS2017-59 MSS2017-43 |
Kosuke Iewaki, Takafumi Kanazawa (Osaka Univ.) |
| |
15:35-15:40 |
Break ( 5 min. ) |
Fri, Nov 17 PM
15:40 - 16:55 |
(27)
MSS |
15:40-16:05 |
Development and Implementation of an Algorithm to Synthesize State Machines from Two Communication Diagrams CAS2017-60 MSS2017-44 |
Kazuya Tominaga, Toshiki Kinoshita, Toshiyuki Miyamoto (Osaka Univ.) |
(28)
MSS |
16:05-16:30 |
Colored Petri Net based Automatic Generation of Mathematical Programming for Optimum Resource Assignment Problems CAS2017-61 MSS2017-45 |
Ryosuke Ushijima (Univ. of the Ryukyus), Takeshi Tengan (Meio Univ.), Andrea Veronica Porco, Morikazu Nakamura (Univ. of the Ryukyus) |
(29)
MSS |
16:30-16:55 |
A SAT-based method for generating locating arrays CAS2017-62 MSS2017-46 |
Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) |
: 
i
gu
s
ist