Tue, Jan 22 AM
10:45 - 12:00 |
| (1) |
10:45-11:10 |
An application of arbitration-based multicriteria games to a water resource problem |
Hiromi Tsubotani, Takafumi Kanazawa, Toshimitsu Ushio (Osaka Univ.) |
| (2) |
11:10-11:35 |
A game-theoretic analysis of electronic commerce
-- on the effect of customer reviews -- |
Akihiro Yoshida, Chiaki Sakama (Wakayama Univ.) |
| (3) |
11:35-12:00 |
Path Prediction using a Path Planning Method under the Lack of Observed Data Situation |
Megumi Sawada, Atsuo Ozaki, Shusuke Watanabe (Mitsubishi Electric) |
Tue, Jan 22 PM
13:00 - 14:15 |
| |
- |
|
Tue, Jan 22 PM
14:25 - 15:40 |
| (4) |
14:25-14:50 |
On Polynomial Time Checking on Reachability in Sound Extended Free-Choice Workflow Nets |
Daiki Kano, Shingo Yamaguchi (Yamaguchi Univ.) |
| (5) |
14:50-15:15 |
On Analysis on Reachability to Unsafe Markings in Free Choice Workflow Nets |
Yuki Murakami, Ichiro Toyoshima, Shingo Yamaguchi (Yamaguchi Univ.) |
| (6) |
15:15-15:40 |
An Algorithm of Finding Dependent Subnets for Retention-Free Petri Nets |
Tadataka Matsumoto, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.) |
Tue, Jan 22 PM
15:50 - 16:50 |
| (7) |
15:50-16:50 |
[Invited Talk]
Design and Performance Analysis of Algorithms for Petri Nets |
Toshimasa Watanabe (Hiroshima Univ.) |
Wed, Jan 23 AM
09:15 - 10:30 |
| |
- |
|
Wed, Jan 23 AM
10:40 - 12:20 |
| (8) |
10:40-11:05 |
Observability Analysis of Discrete Event Systems Modeled by Concurrent Synchronous Products |
Longjiang Wang, Shigemasa Takai (Osaka Univ.) |
| (9) |
11:05-11:30 |
Self-Triggered Optimal Control of Linear Systems Focusing on Prediction Horizon One |
Koichi Kobayashi, Kunihiko Hiraishi (JAIST) |
| (10) |
11:30-11:55 |
Effectiveness of Group Control of 2 Shaft Elevator for Peak Power Cut and Service Performance |
Kentaro Nakayama, Koji Takahashi (Tokyo tech) |
| (11) |
11:55-12:20 |
A study on stability of stable marriage problem with multicriteria preference list |
Hideki Kinjo (Okinawa Univ.), Morikazu Nakamura (Univ. of the Ryukyus.) |
Wed, Jan 23 PM
13:30 - 15:10 |
| |
- |
|
Wed, Jan 23 PM
15:20 - 16:35 |
| (12) |
15:20-15:45 |
A Proposal of Similarity Evaluation for Ordered Trees
-- Application to Similarity Verification of C Language Programs -- |
Huricha Bao, Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) |
| (13) |
15:45-16:10 |
Proposal of Algorithm to Finding Determiner Set for Graphs |
Kurumi Kouchi, Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ) |
| (14) |
16:10-16:35 |
Enhancing Local Search Algorithms for Organizing Conference Programs
-- Generating Initial Solutions and Neighborhood Swapping -- |
Masahiko Okumoto, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
: 
-n
pu-
