Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS, CAS |
2012-11-01 13:30 |
Iwate |
Iwate University |
On Fuzzy Co-Clustering based on Homogenious Relational Fuzzy c-Means Yuchi Kanzawa (Shibaura Inst. of Tech.) CAS2012-50 MSS2012-30 |
In this report, a fuzzy co-clustering algorithm is proposed for categorical multivariate data. This
algorithm is based ... [more] |
CAS2012-50 MSS2012-30 pp.1-4 |
MSS, CAS |
2012-11-01 13:55 |
Iwate |
Iwate University |
A Note on the Energy-Aware Mapping for NoCs Satoshi Tayu, Shuichi Ueno (Tokyo Inst. of Tech.) CAS2012-51 MSS2012-31 |
[more] |
CAS2012-51 MSS2012-31 pp.5-10 |
MSS, CAS |
2012-11-01 14:35 |
Iwate |
Iwate University |
Similarity Control of Transition Systems by Output Feedback Nam Tung Vu, Shigemasa Takai (Osaka Univ) CAS2012-52 MSS2012-32 |
In this paper, we consider a similarity control problem for transition systems. A necessary and sufficient condition for... [more] |
CAS2012-52 MSS2012-32 pp.11-15 |
MSS, CAS |
2012-11-01 15:00 |
Iwate |
Iwate University |
Decentralized Online Diagnosis of Discrete Event Systems Using the AND Rule Takashi Yamamoto, Shigemasa Takai (Osaka Univ.) CAS2012-53 MSS2012-33 |
In this paper, we study decentralized diagnosis of discrete event systems where diagnosis decisions of local diagnosers ... [more] |
CAS2012-53 MSS2012-33 pp.17-21 |
MSS, CAS |
2012-11-01 15:25 |
Iwate |
Iwate University |
Verification of Partially Observed Discrete Event Systems Using Abstraction Misato Yokotani, Shigemasa Takai (Osaka Univ.) CAS2012-54 MSS2012-34 |
For partially observed discrete event systems, the computational complexity for their verification generally depends on ... [more] |
CAS2012-54 MSS2012-34 pp.23-27 |
MSS, CAS |
2012-11-01 15:50 |
Iwate |
Iwate University |
Diagnosis of Stochastic Discrete Event Systems Based On N-gram Models With Wildcard Characters Kunihiko Hiraishi, Miwa Yoshimoto, Koichi Kobayashi (JAIST) CAS2012-55 MSS2012-35 |
In a previous paper by the authors, a new scheme for the diagnosis of stochastic discrete event systems is proposed. Fro... [more] |
CAS2012-55 MSS2012-35 pp.29-34 |
MSS, CAS |
2012-11-01 16:30 |
Iwate |
Iwate University |
[Invited Talk]
Analytical Approaches for Synthesis of High Accuracy Digital Filter Structures Shunsuke Yamaki (Tohoku Univ.) CAS2012-56 MSS2012-36 |
[more] |
CAS2012-56 MSS2012-36 pp.35-40 |
MSS, CAS |
2012-11-02 09:30 |
Iwate |
Iwate University |
Heuristic Mode Restriction Method on RCPSP/πRC Hironori Okubo, Toshiyuki Miyamoto (Osaka Univ.), Kazuyuki Mori, Shoichi Kitamura, Yoshio Izui (Mitsubishi Electric Corporation) CAS2012-57 MSS2012-37 |
[more] |
CAS2012-57 MSS2012-37 pp.41-46 |
MSS, CAS |
2012-11-02 09:55 |
Iwate |
Iwate University |
A Study on the Modeling and Analysis in Model-Based Development Yusuke Chiba, Toshimitsu Inomata, Yoshikazu Arai, Shintaro Imai (Iwate Pref Univ.) CAS2012-58 MSS2012-38 |
In this paper, we considered an analytical method for UML models in the model based development. We attempted to transfo... [more] |
CAS2012-58 MSS2012-38 pp.47-51 |
MSS, CAS |
2012-11-02 10:20 |
Iwate |
Iwate University |
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) |
(To be available after the conference date) [more] |
|
MSS, CAS |
2012-11-02 11:00 |
Iwate |
Iwate University |
Linear time generation of random derangements Kenji Mikawa (Niigata Univ.), Ken Tanaka (Kanagawa Univ.) CAS2012-59 MSS2012-39 |
We present a linear time algorithm for generating random derangements. Several algorithms published in recent papers enh... [more] |
CAS2012-59 MSS2012-39 pp.53-58 |
MSS, CAS |
2012-11-02 11:25 |
Iwate |
Iwate University |
On deployment of charging stations for electric vehicles in two-dimensional road networks Shunsuke Hayatsu, Kazuyuki Miyakita, Keisuke Nakano (Niigata Univ.) CAS2012-60 MSS2012-40 |
For wide popularization of Electric Vehicle (EVs), there are many problems to be overcome. One of the problems is effici... [more] |
CAS2012-60 MSS2012-40 pp.59-64 |
MSS, CAS |
2012-11-02 11:50 |
Iwate |
Iwate University |
On effects of using location information of charging stations on waiting time for battery charging for electric vehicles Kazuyuki Miyakita, Keisuke Nakano (Niigata Univ.) CAS2012-61 MSS2012-41 |
Recently, Electric Vehicle (EV) is considered as an important technology; however, there are some problems for spreading... [more] |
CAS2012-61 MSS2012-41 pp.65-70 |
MSS, CAS |
2012-11-02 13:30 |
Iwate |
Iwate University |
Scheduling and Resource Assignment of Periodic Tasks in Computer Networks Using an SMT Solver Yuya Sakai, Toshimitsu Ushio (Osaka Univ.) CAS2012-62 MSS2012-42 |
It is important in computer networks to assign each task to a computer in order to have scheduling without deadline miss... [more] |
CAS2012-62 MSS2012-42 pp.71-74 |
MSS, CAS |
2012-11-02 13:55 |
Iwate |
Iwate University |
On Extension and Soundness of Acyclic Well-Structured Work Huan Wu, Shingo Yamaguchi (Yamaguchi Univ) CAS2012-63 MSS2012-43 |
[more] |
CAS2012-63 MSS2012-43 pp.75-79 |
MSS, CAS |
2012-11-02 14:20 |
Iwate |
Iwate University |
Group Control of 2 Shaft Elevator for Peak Power Cut and Service Performance Kentaro Nakayama, Koji Takahashi (Tokyo Tech.) CAS2012-64 MSS2012-44 |
Discontinuing the use of one of two elevators for power saving worsens their service performance.
The authors proposed ... [more] |
CAS2012-64 MSS2012-44 pp.81-86 |