Thu, Nov 1 PM
13:30 - 14:20 |
| (1) |
13:30-13:55 |
On Fuzzy Co-Clustering based on Homogenious Relational Fuzzy c-Means |
Yuchi Kanzawa (Shibaura Inst. of Tech.) |
| (2) |
13:55-14:20 |
A Note on the Energy-Aware Mapping for NoCs |
Satoshi Tayu, Shuichi Ueno (Tokyo Inst. of Tech.) |
Thu, Nov 1 PM
14:35 - 16:15 |
| (3) |
14:35-15:00 |
Similarity Control of Transition Systems by Output Feedback |
Nam Tung Vu, Shigemasa Takai (Osaka Univ) |
| (4) |
15:00-15:25 |
Decentralized Online Diagnosis of Discrete Event Systems Using the AND Rule |
Takashi Yamamoto, Shigemasa Takai (Osaka Univ.) |
| (5) |
15:25-15:50 |
Verification of Partially Observed Discrete Event Systems Using Abstraction |
Misato Yokotani, Shigemasa Takai (Osaka Univ.) |
| (6) |
15:50-16:15 |
Diagnosis of Stochastic Discrete Event Systems Based On N-gram Models With Wildcard Characters |
Kunihiko Hiraishi, Miwa Yoshimoto, Koichi Kobayashi (JAIST) |
Thu, Nov 1 PM
16:30 - 17:20 |
| (7) |
16:30-17:20 |
[Invited Talk]
Analytical Approaches for Synthesis of High Accuracy Digital Filter Structures |
Shunsuke Yamaki (Tohoku Univ.) |
Fri, Nov 2 AM
09:30 - 10:45 |
| (8) |
09:30-09:55 |
Heuristic Mode Restriction Method on RCPSP/πRC |
Hironori Okubo, Toshiyuki Miyamoto (Osaka Univ.), Kazuyuki Mori, Shoichi Kitamura, Yoshio Izui (Mitsubishi Electric Corporation) |
| (9) |
09:55-10:20 |
A Study on the Modeling and Analysis in Model-Based Development |
Yusuke Chiba, Toshimitsu Inomata, Yoshikazu Arai, Shintaro Imai (Iwate Pref Univ.) |
| (10) |
10:20-10:45 |
Easily understandable and computable representation method of medical quality indicators |
Osamu Takaki (JAIST), Izumi Takeuti, Koichi Takahashi, Noriaki Izumi (AIST), Koichiro Murata (Kitasato Univ.), Mitsuru Ikeda (JAIST), Koiti Hasida (AIST) |
Fri, Nov 2 AM
11:00 - 12:15 |
| (11) |
11:00-11:25 |
Linear time generation of random derangements |
Kenji Mikawa (Niigata Univ.), Ken Tanaka (Kanagawa Univ.) |
| (12) |
11:25-11:50 |
On deployment of charging stations for electric vehicles in two-dimensional road networks |
Shunsuke Hayatsu, Kazuyuki Miyakita, Keisuke Nakano (Niigata Univ.) |
| (13) |
11:50-12:15 |
On effects of using location information of charging stations on waiting time for battery charging for electric vehicles |
Kazuyuki Miyakita, Keisuke Nakano (Niigata Univ.) |
Fri, Nov 2 PM
13:30 - 14:45 |
| (14) |
13:30-13:55 |
Scheduling and Resource Assignment of Periodic Tasks in Computer Networks Using an SMT Solver |
Yuya Sakai, Toshimitsu Ushio (Osaka Univ.) |
| (15) |
13:55-14:20 |
On Extension and Soundness of Acyclic Well-Structured Work |
Huan Wu, Shingo Yamaguchi (Yamaguchi Univ) |
| (16) |
14:20-14:45 |
Group Control of 2 Shaft Elevator for Peak Power Cut and Service Performance |
Kentaro Nakayama, Koji Takahashi (Tokyo Tech.) |
: 
cais
i
