Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS, CAS, IPSJ-AL [detail] |
2016-11-24 10:00 |
Hyogo |
Kobe Institute of Computing |
Hardware Trojan with Sensor Trigger Takato Iwase, Yusuke Nozaki, Masaya Yoshikawa (Meijo Univ.) CAS2016-58 MSS2016-38 |
Recently, in-vehicle system technology has been rapidly developed. However, in-vehicle system is vulnerable because of s... [more] |
CAS2016-58 MSS2016-38 pp.1-6 |
MSS, CAS, IPSJ-AL [detail] |
2016-11-24 10:25 |
Hyogo |
Kobe Institute of Computing |
The shortest twice flight routes of UAV on square grid graph with inside depot Yoshihiro Kaneko, Kani (Gifu Univ.), Mase Kennichi (Niigata Univ.) CAS2016-59 MSS2016-39 |
(To be available after the conference date) [more] |
CAS2016-59 MSS2016-39 pp.7-12 |
MSS, CAS, IPSJ-AL [detail] |
2016-11-24 10:50 |
Hyogo |
Kobe Institute of Computing |
A Fast Search Method for Run-Based Tries via Pointers Takashi Harada, Ken Tanaka (Kanagawa Univ.), Kenji Mikawa (Niigata Univ.) CAS2016-60 MSS2016-40 |
(To be available after the conference date) [more] |
CAS2016-60 MSS2016-40 pp.13-18 |
MSS, CAS, IPSJ-AL [detail] |
2016-11-24 11:15 |
Hyogo |
Kobe Institute of Computing |
A Traffic Load Balancing with Tie-sets in a Dispersion-managed Network Masashi Yamada, Norihiko Shinomiya (Soka Univ.) CAS2016-61 MSS2016-41 |
This paper proposes a traffic load balancing method to alleviate the data traffic concentrations on links in a network a... [more] |
CAS2016-61 MSS2016-41 pp.19-24 |
MSS, CAS, IPSJ-AL [detail] |
2016-11-24 13:00 |
Hyogo |
Kobe Institute of Computing |
Existence of Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems Hiroki Yamada, Shigemasa Takai (Osaka Univ.) CAS2016-62 MSS2016-42 |
[more] |
CAS2016-62 MSS2016-42 pp.25-30 |
MSS, CAS, IPSJ-AL [detail] |
2016-11-24 13:25 |
Hyogo |
Kobe Institute of Computing |
Development and evaluation of on-the-fly model checking for a Petri net verification tool (HiPS) Yojiro Harie, Katsumi Wasaki (Shinshu Univ.) CAS2016-63 MSS2016-43 |
This paper proposes an On-the-fly Fluent Linear Temporal Logic (FLTL) model checker using state space generation based o... [more] |
CAS2016-63 MSS2016-43 pp.31-35 |
MSS, CAS, IPSJ-AL [detail] |
2016-11-24 13:50 |
Hyogo |
Kobe Institute of Computing |
Representation and analysis of C Source Code by using The Program Graph Tateo Okubo (Iwate Pref Univ.), Kazuya Fukuhara (i-MOS), Toshimitsu Inomata, Eiji Sugino, Yoshikazu Arai, Shintaro Imai (Iwate Pref Univ.) CAS2016-64 MSS2016-44 |
In this paper we present the formal definition and the ability of the Program Graph.Nodes of the Program Graph correspon... [more] |
CAS2016-64 MSS2016-44 pp.37-42 |
MSS, CAS, IPSJ-AL [detail] |
2016-11-24 14:15 |
Hyogo |
Kobe Institute of Computing |
Effects of Time-Varying Parameters in Particle Swarm Optimization of Multiple Swarms under Search-Time Constraints Yuya Asato (Univ. of the Ryukyus), Takeshi Tengan (Meio Univ.), Morikazu Nakamura (Univ. of the Ryukyus) CAS2016-65 MSS2016-45 |
This paper proposes a time-varying parameter setting method for particle swarm optimization of multiple swarms under sea... [more] |
CAS2016-65 MSS2016-45 pp.43-48 |
MSS, CAS, IPSJ-AL [detail] |
2016-11-24 16:25 |
Hyogo |
Kobe Institute of Computing |
[Invited Talk]
On Recording and Analyzing for Science Communication Focused on ``Interaction among Various People''
-- Conversations on Radiactivity in Iwaki-city -- Shin Aida (Toyohashi-Tech) CAS2016-66 MSS2016-46 |
By Fukushima Daiichi nuclear disaster, Japanese people were exposed in “an unknown risk,” which meant the risk of radiat... [more] |
CAS2016-66 MSS2016-46 pp.69-71 |
MSS, CAS, IPSJ-AL [detail] |
2016-11-24 17:15 |
Hyogo |
Kobe Institute of Computing |
[Invited Talk]
The Past, Present, and Future of Video Search: Query Object from Known to Unknown Jianquan Liu, Shoji Nishimura, Takuya Araki, Yuichi Nakamura (NEC) CAS2016-67 MSS2016-47 |
In this paper, we introduce the change of search technology and the future development of video search in the past, pres... [more] |
CAS2016-67 MSS2016-47 pp.73-77 |
MSS, CAS, IPSJ-AL [detail] |
2016-11-25 09:00 |
Hyogo |
Kobe Institute of Computing |
A Note on Reliablity-Aware Clock Skew Scheduling in High-Level Synthesis Keisuke Inoue (KTC) CAS2016-68 MSS2016-48 |
(To be available after the conference date) [more] |
CAS2016-68 MSS2016-48 pp.79-82 |
MSS, CAS, IPSJ-AL [detail] |
2016-11-25 09:25 |
Hyogo |
Kobe Institute of Computing |
A Note on the Spanning Subgraph Isomorphism Problem Satoshi Tayu, Kenji Ichikawa, Shuichi Ueno (Tokyo Tech) CAS2016-69 MSS2016-49 |
We consider the subgraph isomorphism problem of two graphs which is to decide if a pattern graph is isomorphic to a subg... [more] |
CAS2016-69 MSS2016-49 pp.83-88 |
MSS, CAS, IPSJ-AL [detail] |
2016-11-25 09:50 |
Hyogo |
Kobe Institute of Computing |
On the Complexity of Finding a Largest Common Subtree of Trees Hiroki Katsumata, Satoshi Tayu, Shuichi Ueno (Tokyo Tech) CAS2016-70 MSS2016-50 |
The largest common subtree problem (LCST) is to find a tree with the maximum number of edges that is a subtree of all th... [more] |
CAS2016-70 MSS2016-50 pp.89-92 |
MSS, CAS, IPSJ-AL [detail] |
2016-11-25 10:15 |
Hyogo |
Kobe Institute of Computing |
A 3/2-Approximation Algorithm for the Bipartite Dense Subgraph Problem on Bipartite Permutation Graphs Yuta Inaba, Satoshi Tayu, Shuichi Ueno (Tokyo Tech) CAS2016-71 MSS2016-51 |
(To be available after the conference date) [more] |
CAS2016-71 MSS2016-51 pp.93-96 |
MSS, CAS, IPSJ-AL [detail] |
2016-11-25 10:55 |
Hyogo |
Kobe Institute of Computing |
[Invited Talk]
Introduction to Token Swapping Problem
-- An generalization of Amidakuji -- Katsuhisa Yamanaka (Iwate Univ.) CAS2016-72 MSS2016-52 |
[more] |
CAS2016-72 MSS2016-52 p.97 |
MSS, CAS, IPSJ-AL [detail] |
2016-11-25 12:55 |
Hyogo |
Kobe Institute of Computing |
Formal Description of Synchronization by Functional Definition of Synchronous Circuits Shunji Nishimura, Motoki Amagasaki, Toshinori Sueyoshi (Kumamoto Univ.) CAS2016-73 MSS2016-53 |
Synchronous circuits are usually defined as D-Flipflop (D-FF) synchronized circuits, but it is doubtful that D-FF comple... [more] |
CAS2016-73 MSS2016-53 pp.99-104 |
MSS, CAS, IPSJ-AL [detail] |
2016-11-25 13:20 |
Hyogo |
Kobe Institute of Computing |
Imitation Dynamics with Population-Varying Revision Intervals of Strategies Manao Machida, Takafumi Kanazawa (Osaka Univ.) CAS2016-74 MSS2016-54 |
[more] |
CAS2016-74 MSS2016-54 pp.105-108 |
MSS, CAS, IPSJ-AL [detail] |
2016-11-25 13:45 |
Hyogo |
Kobe Institute of Computing |
Detection of mode confusion in human machine systems using user models with time information. Yoshiki Maeda, Toshimitsu Ushio (Osaka Univ.) CAS2016-75 MSS2016-55 |
To verify automation surprises in human-machine systems, methods using automaton models of dynamics for a user and a mac... [more] |
CAS2016-75 MSS2016-55 pp.109-112 |
MSS, CAS, IPSJ-AL [detail] |
2016-11-25 14:10 |
Hyogo |
Kobe Institute of Computing |
Subsidy-based Stabilization of Nonequilibrium Target State in Population Games with Unknown Payoff Functions Masaya Kinoshita, Takafumi Kanazawa (Osaka Univ.) CAS2016-76 MSS2016-56 |
In populations that consist of many selfish players, a desirable state for populations may not be realized.In order to r... [more] |
CAS2016-76 MSS2016-56 pp.113-116 |