Fri, May 20 PM 13:55 - 15:30 |
|
13:55-14:00 |
( 5 min. ) |
(1) |
14:00-14:30 |
Generating LTL formulas with Trace Examples |
Kota Komatsu, Hiroki Horita (Ibaraki Univ.) |
(2) |
14:30-15:00 |
An Integrated Text Entry Method in Virtual Reality |
Ryuichi Kiyohara, Mai Hasegawa, Mikoto Kato, Atsushi Sawada, Masami Noro (Nanzan Univ.) |
(3) |
15:00-15:30 |
Practical Application of Self-Adaptive Anomaly Detection Method Using XAI |
Shimon Sumita, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) |
|
15:30-15:40 |
Break ( 10 min. ) |
Fri, May 20 PM 15:40 - 16:25 |
(4) |
15:40-16:25 |
Development of auto monitoring system using user view point |
Takuya Saruwatari (NTT DATA) |
Sat, May 21 AM 10:30 - 11:00 |
(5) |
10:30-11:00 |
Improving Efficiency of CAD Projects |
Hirokazu Sato, Koji Makanae, Hiroki Suguri (Miyagi Univ.) |
|
11:00-11:10 |
Break ( 10 min. ) |
Sat, May 21 AM 11:10 - 11:55 |
(6) |
11:10-11:55 |
Theory of the optimum signal approximation clarifying the importance in the recognition of parallel world |
Takuro Kida (Tokyo Tech.), Yuichi Kida (Ohu Univ.) |
|
- |
Lunch Break |
Sat, May 21 PM 13:00 - 14:30 |
(7) |
13:00-13:45 |
Approximate Solution of Conditional Optimization Problem in Nonlinear Artificial Intelligent Systems Based on Matrix Operator Polynomial Series Approximation |
Takuro Kida (TITech), Yuichi Kida (Ohu Univ.) |
(8) |
13:45-14:30 |
System Thinking on the Digital Governance Code |
Shuichiro Yamamoto (IPUT in Nagoya) |
|
14:30-14:40 |
Break ( 10 min. ) |
Sat, May 21 PM 14:40 - 16:10 |
(9) |
14:40-15:25 |
Behavior Evaluation System for motorcycle safety |
Kimihiro Sugino, Yoichiro Sato, Kazutami Arimoto (OPU) |
(10) |
15:25-16:10 |
Proposal of the prototype construction method in IoT system applicable to various fields and its evalations |
Koji Akiyama (ITEC), Masahito Ishihara (Hosen College), Nobuhiro Ohe (Cyber University), Masahiro Inoue (Keio University), Hisao Koizumi (Study Group on M2M/IoT) |
|
16:10-16:15 |
( 5 min. ) |