Mon, Jun 21 AM CAS 09:00 - 11:05 |
(1) |
09:00-09:25 |
Clocking Pattern Minimization for Adjustable Safe Clocking-Based Register Assignment |
Keisuke Inoue (JAIST/JSPS), Mineo Kaneko (JAIST) |
(2) |
09:25-09:50 |
High-speed Transient Simulation of Power Distribution Network Based on ADE-LIM |
Hiroki Kurobe, Tadatoshi Sekine, Hideki Asai (Shizuoka Univ.) |
(3) |
09:50-10:15 |
Some properties and generation methods of integer matrices with large condition number |
Tetsuo Nishi (Waseda Univ.), Siegflied Rump (Hamburg Univ. of Tech.), Shin'ichi Oishi (Waseda Univ.) |
(4) |
10:15-10:40 |
On broadcast algorithms for Parallel Distributed Systems |
Takaaki Kojima, Hiroshi Tamura (Niigata Inst. of Tech.), Masakazu Sengoku (Niigata Univ.), Shoji Shinoda (Chuo Univ.) |
(5) |
10:40-11:05 |
Electronic Catalog Synthesis by Means of ISO Conforming Dictionary Elements Derived from a Set of Existing Business Catalogs
-- Focusing on Mechanical Element of 'Gears' -- |
Saburo Tanatsugu, Keisuke Kakimoto, Aumi Sawai, Yukihiro Ano, Isao Shirakawa, Hiroshi Ninomiya (Univ. of Hyogo), Mamoru Kawanobe (Benic Solution Corp.) |
|
11:05-11:15 |
Break ( 10 min. ) |
Mon, Jun 21 VLD 11:15 - 12:05 |
(6) |
11:15-11:40 |
Differential Behavior Equivalent Classes of Shift Register Equivalents for Secure Scan Design |
Katsuya Fujiwara (Akita Univ.), Hideo Fujiwara (NAIST), Hideo Tamamoto (Akita Univ.) |
(7) |
11:40-12:05 |
Layout-Aware Variation Modeling and Its Application to Opamp Design |
Kouta Shinohara, Mihoko Hidaka, Qing Dong, Jing Li, Shigetoshi Nakatake (Univ. of Kitakyushu) |
|
12:05-13:05 |
Lunch ( 60 min. ) |
Mon, Jun 21 CST1 13:05 - 14:45 |
(8) |
13:05-13:30 |
Application of Potential Games to Coverage Control with Voronoi Partition |
Saori Teraoka, Toshimitsu Ushio, Takafumi Kanazawa, Naoki Hayashi (Osaka Univ.) |
(9) |
13:30-13:55 |
Braess's Paradox in a Two-source Network |
Shimpei Hamaguchi, Takafumi Kanazawa, Toshimitsu Ushio (Osaka Univ.) |
(10) |
13:55-14:20 |
Job Skipping for Optimization of Control Performance in Cyber-physical Systems |
Tatsuya Yoshimoto, Toshimitsu Ushio (Osaka Univ) |
(11) |
14:20-14:45 |
On Parallel Composition of Workflow Nets Preserving Soundness and Behavioral Inheritance |
Yuki Watanabe, Shingo Yamaguchi (Yamaguchi Univ.) |
|
14:45-14:55 |
Break ( 10 min. ) |
Mon, Jun 21 SIP1 14:55 - 16:35 |
(12) |
14:55-15:20 |
Music Recommendation According to Human Motion Based on Kernel CCA |
Hiroyuki Ohkushi, Takahiro Ogawa, Miki Haseyama (Hokkaido Univ.) |
(13) |
15:20-15:45 |
Stability Improvement of IMC Based Active Noise Control system Employing Linear Prediction Filter |
Yoshinobu Kajikawa, Ryotaro Hirayama (Kansai Univ.) |
(14) |
15:45-16:10 |
Signal Analysis by Mixture Model for Doppler Weather Radar |
Satoshi Kon, Takeshi Oya, Toshihisa Tanaka (Tokyo Univ. of Agr and Tech.) |
(15) |
16:10-16:35 |
Reversible Component Transforms via an Interpretation of the LU Factorization |
Hisakazu Kikuchi, Junghyeun Hwang, Shogo Muramatsu (Niigata Univ.) |
|
16:35-16:45 |
Break ( 10 min. ) |
Mon, Jun 21 16:45 - 17:45 |
(16) |
16:45-17:45 |
[Invited Talk]
Design of Ski Boots for Japanese Alpine Ski Racer Based on Leg Frame of the Skier |
Soichiro Suzuki (Kitami Inst. of Tech.), Sueyoshi Hayashi (REXXAM), Yu Shibamata, Tomonori Nakamura (Gra. Sch.of Kitami Inst. of Tech) |
Tue, Jun 22 AM SIP2 09:00 - 11:05 |
(17) |
09:00-09:25 |
No-Reference PSNR Estimation Method for Motion JPEG 2000 Videos under Lossy Packet-Switched Networks |
Junya Hishinuma, Kiyoshi Nishikawa, Hitoshi Kiya (Tokyo Metropolitan Univ.) |
(18) |
09:25-09:50 |
Transcoding between Lossy Coding and Lossless Coding for Color Image |
Masahiro Iwahashi (Nagaoka Univ. of Tech.), Hitoshi Kiya (Tokyo Metropolitan Univ.) |
(19) |
09:50-10:15 |
A note on keyword relationship extraction based on visual features and its application to image annotation |
Marie Katsurai, Takahiro Ogawa, Miki Haseyama (Hokkaido Univ.) |
(20) |
10:15-10:40 |
A note on simultaneous restoration and resolution enhancement of a blurred video sequence
-- Estimation of prior probability distributions for super-resolution -- |
Daisuke Izumi, Takahiro Ogawa, Miki Haseyama (Hokkaido Univ.) |
(21) |
10:40-11:05 |
A study on accurate scene segmentation based on the MCMC method utilizing video structures |
Yan Song, Takahiro Ogawa, Miki Haseyama (Hokkaido Univ.) |
|
11:05-12:05 |
Lunch ( 60 min. ) |
Tue, Jun 22 CST2 12:05 - 14:10 |
(22) |
12:05-12:30 |
Modular Supervisory Control for Opacity in Discrete Event Systems |
Shigemasa Takai (Osaka Univ.) |
(23) |
12:30-12:55 |
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.) |
(24) |
12:55-13:20 |
Semi-automated Modeling of Interrupt Behavior Control with Promela |
Kenji Tadano (FeliCa Networks), Yoshinao Isobe (AIST) |
(25) |
13:20-13:45 |
An Implementation of Sequentialization and State-Reduction for Analyzing Concurrent Systems
-- Towards Automatic Generation of Specifications -- |
Yoshinao Isobe (AIST) |
(26) |
13:45-14:10 |
An Optimal Supervisory Control for Decentralized Discrete Event Systems based on Reinforcement Learning |
Kouji Kajiwara, Tatsushi Yamasaki (Setsunan Univ.) |
|
14:10-14:20 |
Break ( 10 min. ) |
Tue, Jun 22 SIP3 14:20 - 16:25 |
(27) |
14:20-14:45 |
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.) |
(28) |
14:45-15:10 |
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.) |
(29) |
15:10-15:35 |
A Simplified Lattice Structure of Two Dimensional Generalized Lapped Orthogonal Transform |
Taichi Yoshida, Masaaki Ikehara (Keio Univ.) |
(30) |
15:35-16:00 |
Pseudo-IIR Adaptive Array Based on Spatial State-Space Filtering |
Sho Iwazaki, Koichi Ichige, Hiroyuki Arai (Yokohama Nat'l Univ.) |
(31) |
16:00-16:25 |
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.) |