Thu, Mar 3 AM DES1(WIP-DES1)
09:20 - 10:20 |
| (1) |
09:20-09:40 |
DES1-1 |
| (2) |
09:40-10:00 |
DES1-2 |
| (3) |
10:00-10:20 |
DES1-3 |
| |
10:20-10:30 |
Break ( 10 min. ) |
Thu, Mar 3 AM MSS1(WIP-MSS1)
10:30 - 11:50 |
| (4) |
10:30-10:50 |
Analysis of Boundedness and Liveness for Agent-Oriented Petri Net PN^2 and its Application for IoT Services |
Shoki Tsugawa, Kazuya Nakahori, Shingo Yamaguchi (Yamaguchi Univ.) |
| (5) |
10:50-11:10 |
Construction of Internal Organs of Petri Net Model Based on the Acupuncture Efficacy of Meridians |
Masafumi Nishida, Yuta Murai (Yamaguchi Univ), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ) |
| (6) |
11:10-11:30 |
Implementation of similar subgraph search method for historical document image retrieval system |
Hiroaki Kodama, Hiroaki Nagaoka, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura (Yamaguchi Univ.) |
| (7) |
11:30-11:50 |
Task execution time and PE power consumption variation-aware scheduling method |
Komei Nomura, Yasuhiro Takashima (Univ. of Kitakyushu), Yuiti Nakamura (NEC) |
| |
11:50-12:50 |
Lunch Break ( 60 min. ) |
Thu, Mar 3 PM DES2(WIP-DES2)
12:50 - 14:10 |
| (8) |
12:50-13:10 |
DES2-1 |
| (9) |
13:10-13:30 |
DES2-2 |
| (10) |
13:30-13:50 |
DES2-3 |
| (11) |
13:50-14:10 |
DES2-4 |
| |
14:10-14:20 |
Break ( 10 min. ) |
Thu, Mar 3 PM MSS2(WIP-MSS2)
14:20 - 15:40 |
| (12) |
14:20-14:40 |
Design and Development of A Data Sharing System on Delay Tolerant Networks |
Toru Nakandakari, Tomoki Miyazato, Morikazu Nakamura (Univ. of the Ryukyus), Akira Sakima (Kuniken Systems) |
| (13) |
14:40-15:00 |
Vowel Classification for Generating Language Family Trees Based on the Acoustic Phonetics |
Minori Motoyama (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Hiroshi Matsuno (Yamaguchi Univ.) |
| (14) |
15:00-15:20 |
A Method of Weight Assignment to Phonetic Symbols for Generating Language Family Trees based on Basic Vocabulary |
Yuya Matsuura (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior Coll.), Hiroshi Matsuno (Yamaguchi Univ.) |
| (15) |
15:20-15:40 |
A Construction Method of Efficient Wireless LAN using Node Clustering |
Shuhei Matsumura, Hiroshi Matsuno (Yamaguchi Univ.) |
| |
15:40-15:50 |
Break ( 10 min. ) |
Thu, Mar 3 PM MSS3
15:50 - 16:40 |
| (16) |
15:50-16:15 |
Properties of Uniqueness on Dependent Shrink for Retention-Free Petri Nets |
Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.) |
| (17) |
16:15-16:40 |
A Colored Hybrid Petri Net Model for the Delta-Notch Dependent Boundary Formation in the Drosophila Large Intestine |
Fei Liu, Hiroshi Matsuno, Ryutaro Murakami (Yamaguchi Univ.) |
| |
16:40-16:50 |
Break ( 10 min. ) |
Thu, Mar 3 PM
16:50 - 17:50 |
| (18) |
16:50-17:50 |
[Invited Talk]
From Inference to Equivalent Transformation
-- Towards a new theory for Computational Logic -- |
Kiyoshi Akama (Hokkaido Univ.) |
Fri, Mar 4 AM MSS4
09:10 - 10:25 |
| (19) |
09:10-09:35 |
On Behavioral Analysis of Nursing and Caregiving Services Using Switched Linear Regression Models |
Koichi Kobayashi (Hokkaido Univ.), Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira (JAIST) |
| (20) |
09:35-10:00 |
Controller Tuning with Falsification of Temporal Logic Formulae |
Taiyo Mineo (Tokyo Tech.), Daisuke Ishii (Univ. of Fukui), Takuo Watanabe (Tokyo Tech.) |
| (21) |
10:00-10:25 |
A matching based algorithm for access point selection in heterogeneous wireless networks |
Hideo Kobayashi, Eiichi Kameda, Norihiko Shinomiya (Soka Univ) |
| |
10:25-10:35 |
Break ( 10 min. ) |
Fri, Mar 4 AM MSS5
10:35 - 11:50 |
| (22) |
10:35-11:00 |
Sevaral Implementations of Minimum-Time FSSP Algorithms Based on Exponential Marking (Part II) |
Mitsuki Hirota, Hirosi Umeo (Univ.Osaka Electro) |
| (23) |
11:00-11:25 |
CAME: A Novel Fast Connectivity-Aware MER Enumeration Algorithm for the Online Task Placement on Partially Reconfigurable Device |
Tieyuan Pan, Lian Zeng (Waseda Univ.), Yasuhiro Takashima (Univ. of Kitakyushu), Takahiro Watanabe (Waseda Univ.) |
| (24) |
11:25-11:50 |
Performance Comparison to a Classification Problem by the Qualification Method 2 and STRIM |
Yuya Kitazaki, Yuichi Kato (Shimane Univ.), Tetsuro Saeki (Yamaguchi Univ.) |
| |
11:50-12:50 |
Lunch Break ( 60 min. ) |
Fri, Mar 4 PM DES3
12:50 - 14:30 |
| (25) |
12:50-13:15 |
DES3-1 |
| (26) |
13:15-13:40 |
DES3-2 |
| (27) |
13:40-14:05 |
DES3-3 |
| (28) |
14:05-14:30 |
DES3-4 |
| |
14:30-14:40 |
Break ( 10 min. ) |
Fri, Mar 4 PM MSS6
14:40 - 16:20 |
| (29) |
14:40-15:05 |
A Scheduling Problem on Carestaff Cooperation
-- Comparison of Communication Protocols and an Optimal Solution by a Solver -- |
Kunihiko Hiraishi, Sunseong Choe (JAIST), Koichi Kobayashi (Hokkaido Univ.), Yasuo Sasaki, Naoshi Uchihira (JAIST) |
| (30) |
15:05-15:30 |
Distributed Optimization of Data Transmission Path to Base Station for Voronoi Coverage Problems |
Naoto Ibuka, Takafumi Kanazawa (Osaka Univ.) |
| (31) |
15:30-15:55 |
State Attraction Control of Discrete Event Systems Under Partial Observation |
Ryoma Sawasaki, Sigemasa Takai (Osaka Univ.) |
| (32) |
15:55-16:20 |
Fast path routing with randomized algorithm |
Asuka Shinohara, Yasuhiro Takashima (Univ. of Kitakyushu), Yuichi Nakamura (NEC) |
: m
gu
-u