Information and Systems-Software Interprise Modeling(Date:2022/05/20)

Presentation
Generating LTL formulas with Trace Examples

Kota Komatsu(Ibaraki Univ.),  Hiroki Horita(Ibaraki Univ.),  

[Date]2022-05-20
[Paper #]KBSE2022-1,SWIM2022-1
An Integrated Text Entry Method in Virtual Reality

Ryuichi Kiyohara(Nanzan Univ.),  Mai Hasegawa(Nanzan Univ.),  Mikoto Kato(Nanzan Univ.),  Atsushi Sawada(Nanzan Univ.),  Masami Noro(Nanzan Univ.),  

[Date]2022-05-20
[Paper #]KBSE2022-2,SWIM2022-2
Practical Application of Self-Adaptive Anomaly Detection Method Using XAI

Shimon Sumita(Osaka Univ.),  Hiroyuki Nakagawa(Osaka Univ.),  Tatsuhiro Tsuchiya(Osaka Univ.),  

[Date]2022-05-20
[Paper #]KBSE2022-3,SWIM2022-3
Development of auto monitoring system using user view point

Takuya Saruwatari(NTT DATA),  

[Date]2022-05-20
[Paper #]KBSE2022-4,SWIM2022-4
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.),  

[Date]2022-05-21
[Paper #]KBSE2022-7,SWIM2022-7
Improving Efficiency of CAD Projects

Hirokazu Sato(Miyagi Univ.),  Koji Makanae(Miyagi Univ.),  Hiroki Suguri(Miyagi Univ.),  

[Date]2022-05-21
[Paper #]KBSE2022-5,SWIM2022-5
Theory of the optimum signal approximation clarifying the importance in the recognition of parallel world

Takuro Kida(Tokyo Tech.),  Yuichi Kida(Ohu Univ.),  

[Date]2022-05-21
[Paper #]KBSE2022-6,SWIM2022-6
System Thinking on the Digital Governance Code

Shuichiro Yamamoto(IPUT in Nagoya),  

[Date]2022-05-21
[Paper #]KBSE2022-8,SWIM2022-8
Behavior Evaluation System for motorcycle safety

Kimihiro Sugino(OPU),  Yoichiro Sato(OPU),  Kazutami Arimoto(OPU),  

[Date]2022-05-21
[Paper #]KBSE2022-9,SWIM2022-9
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),  

[Date]2022-05-21
[Paper #]KBSE2022-10,SWIM2022-10