Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
CAS, MSS, VLD, SIP |
2010-06-22 10:40 |
Hokkaido |
Kitami Institute of Technology |
A study on accurate scene segmentation based on the MCMC method utilizing video structures Yan Song, Takahiro Ogawa, Miki Haseyama (Hokkaido Univ.) CAS2010-21 VLD2010-31 SIP2010-42 CST2010-21 |
This paper proposes a video scene segmentation method based on Markov Chain Monte Carlo(MCMC) method utilizing video str... [more] |
CAS2010-21 VLD2010-31 SIP2010-42 CST2010-21 pp.115-120 |
CAS, MSS, VLD, SIP |
2010-06-22 12:05 |
Hokkaido |
Kitami Institute of Technology |
Modular Supervisory Control for Opacity in Discrete Event Systems Shigemasa Takai (Osaka Univ.) CAS2010-22 VLD2010-32 SIP2010-43 CST2010-22 |
In this paper, we study opacity-enforcing supervisory control
in the language-based framework of discrete event systems... [more] |
CAS2010-22 VLD2010-32 SIP2010-43 CST2010-22 pp.121-125 |
CAS, MSS, VLD, SIP |
2010-06-22 12:30 |
Hokkaido |
Kitami Institute of Technology |
Polynomial Time Solvability of Liveness Problem of Structurally Weakly Persistent Net Atsushi Ohta (Aichi Pref. Univ.), GuanJiu Liu (Tongji Univ.), Kohkichi Tsuji (Aichi Pref. Univ.), ChangJun Jiang (Tongji Univ.), Daniel Y. Chao (Natl. Chengchi Univ.) CAS2010-23 VLD2010-33 SIP2010-44 CST2010-23 |
Petri net is a graphical and mathematical modeling tool for concurrent systems. Liveness problem is one of the important... [more] |
CAS2010-23 VLD2010-33 SIP2010-44 CST2010-23 pp.127-132 |
CAS, MSS, VLD, SIP |
2010-06-22 12:55 |
Hokkaido |
Kitami Institute of Technology |
Semi-automated Modeling of Interrupt Behavior Control with Promela Kenji Tadano (FeliCa Networks), Yoshinao Isobe (AIST) CAS2010-24 VLD2010-34 SIP2010-45 CST2010-24 |
Reverse engineering using model checking techniques is effective as a method to improve embedded software quality. Howev... [more] |
CAS2010-24 VLD2010-34 SIP2010-45 CST2010-24 pp.133-138 |
CAS, MSS, VLD, SIP |
2010-06-22 13:20 |
Hokkaido |
Kitami Institute of Technology |
An Implementation of Sequentialization and State-Reduction for Analyzing Concurrent Systems
-- Towards Automatic Generation of Specifications -- Yoshinao Isobe (AIST) CAS2010-25 VLD2010-35 SIP2010-46 CST2010-25 |
It is difficult to understand the whole behavior of concurrent systems comparing with sequential systems. Therefore, mod... [more] |
CAS2010-25 VLD2010-35 SIP2010-46 CST2010-25 pp.139-144 |
CAS, MSS, VLD, SIP |
2010-06-22 13:45 |
Hokkaido |
Kitami Institute of Technology |
An Optimal Supervisory Control for Decentralized Discrete Event Systems based on Reinforcement Learning Kouji Kajiwara, Tatsushi Yamasaki (Setsunan Univ.) CAS2010-26 VLD2010-36 SIP2010-47 CST2010-26 |
In our previous work, we have proposed a generalized framework of
optimal supervisory control based on reinforcement ... [more] |
CAS2010-26 VLD2010-36 SIP2010-47 CST2010-26 pp.145-150 |
CAS, MSS, VLD, SIP |
2010-06-22 14:20 |
Hokkaido |
Kitami Institute of Technology |
A Design Method of Linear Phase FIR filters applied Modified Gaussian Function to Transition Band Yukio Koyanagi (MGF LABO), Hiroto Saito, Shogo Nakamura (Tokyo Denki Univ.) CAS2010-27 VLD2010-37 SIP2010-48 CST2010-27 |
In this paper we describe a new design technique of linear phase FIR
filters with clearly-defined transition bands res... [more] |
CAS2010-27 VLD2010-37 SIP2010-48 CST2010-27 pp.151-156 |
CAS, MSS, VLD, SIP |
2010-06-22 14:45 |
Hokkaido |
Kitami Institute of Technology |
A Treatment of Multiple Metrics in Set-Theoretic Adaptive Filtering Based on Product-Space Formulation Masahiro Yukawa (Niigata Univ.), Isao Yamada (Tokyo Inst. of Tech.) CAS2010-28 VLD2010-38 SIP2010-49 CST2010-28 |
We address the issue of exploiting multiple metrics jointly for efficient adaptive filtering. The key is the introductio... [more] |
CAS2010-28 VLD2010-38 SIP2010-49 CST2010-28 pp.157-162 |
CAS, MSS, VLD, SIP |
2010-06-22 15:10 |
Hokkaido |
Kitami Institute of Technology |
A Simplified Lattice Structure of Two Dimensional Generalized Lapped Orthogonal Transform Taichi Yoshida, Masaaki Ikehara (Keio Univ.) CAS2010-29 VLD2010-39 SIP2010-50 CST2010-29 |
In this report, we propose a novel lattice structure of two dimensional (2D) nonseparable linear-phaseparaunitary filter... [more] |
CAS2010-29 VLD2010-39 SIP2010-50 CST2010-29 pp.163-168 |
CAS, MSS, VLD, SIP |
2010-06-22 15:35 |
Hokkaido |
Kitami Institute of Technology |
Pseudo-IIR Adaptive Array Based on Spatial State-Space Filtering Sho Iwazaki, Koichi Ichige, Hiroyuki Arai (Yokohama Nat'l Univ.) CAS2010-30 VLD2010-40 SIP2010-51 CST2010-30 |
This paper presents a pseudo-IIR construction of adaptive array based on spatial state-space filtering. The proposed app... [more] |
CAS2010-30 VLD2010-40 SIP2010-51 CST2010-30 pp.169-173 |
CAS, MSS, VLD, SIP |
2010-06-22 16:00 |
Hokkaido |
Kitami Institute of Technology |
A new method of single-shot laser range finding with quadrature reference signals sampling Masahiro Ohishi, Fumio Ohtomo, Yosikatsu Tokuda, Naoto Miki, Isao Minegishi (Topcon Corp.), Chikao Nagasawa (Tokyo Metropolitan Univ.) CAS2010-31 VLD2010-41 SIP2010-52 CST2010-31 |
We propose a new method of single-shot laser range finding, which has high time resolution. The method is that two refer... [more] |
CAS2010-31 VLD2010-41 SIP2010-52 CST2010-31 pp.175-179 |