IEICE Technical Report

Online edition: ISSN 2432-6380

Knowledge-Based Software Engineering

Workshop Date : 2022-05-20 - 2022-05-21 / Issue Date : 2022-05-13

KBSE2022-1
Generating LTL formulas with Trace Examples
Kota Komatsu, Hiroki Horita (Ibaraki Univ.)
pp. 1 - 6

KBSE2022-2
An Integrated Text Entry Method in Virtual Reality
Ryuichi Kiyohara, Mai Hasegawa, Mikoto Kato, Atsushi Sawada, Masami Noro (Nanzan Univ.)
pp. 7 - 12

KBSE2022-3
Practical Application of Self-Adaptive Anomaly Detection Method Using XAI
Shimon Sumita, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.)
pp. 13 - 18

KBSE2022-4
Development of auto monitoring system using user view point
Takuya Saruwatari (NTT DATA)
pp. 19 - 24

KBSE2022-5
Improving Efficiency of CAD Projects
Hirokazu Sato, Koji Makanae, Hiroki Suguri (Miyagi Univ.)
pp. 25 - 32

KBSE2022-6
Theory of the optimum signal approximation clarifying the importance in the recognition of parallel world
Takuro Kida (Tokyo Tech.), Yuichi Kida (Ohu Univ.)
pp. 33 - 40

KBSE2022-7
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.)
pp. 41 - 46

KBSE2022-8
System Thinking on the Digital Governance Code
Shuichiro Yamamoto (IPUT in Nagoya)
pp. 47 - 52

KBSE2022-9
Behavior Evaluation System for motorcycle safety
Kimihiro Sugino, Yoichiro Sato, Kazutami Arimoto (OPU)
pp. 53 - 58

KBSE2022-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)
pp. 59 - 64

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan