Digital Library
Search: "[ keyword: AI ]" (264)
Design of Programming Failure Feedback System Based on Control Flow of Test Case to Support Programming Training
Sunghee Lee, Deok Yeop Kim, Kang Bok Seo, Woo Jin Lee KIPS Transactions on Software and Data Engineering,
Vol. 8, No. 8, pp. 317-322,
Aug.
2019
https://doi.org/10.3745/KTSDE.2019.8.8.317
Keywords: Feedback, Failure, Control Flow, Test Case, Fault
https://doi.org/10.3745/KTSDE.2019.8.8.317
Keywords: Feedback, Failure, Control Flow, Test Case, Fault
A Design of Risk-Based Security Threat Assessment Process for Fighter-Aircraft Airworthiness Security Certification
Hyunju Kim, Dongsu Kang KIPS Transactions on Software and Data Engineering,
Vol. 8, No. 6, pp. 223-234,
Jun.
2019
https://doi.org/10.3745/KTSDE.2019.8.6.223
Keywords: Airworthiness Certification, Cyber Attack, Fighter-Aircraft Software, Security Threat, Risk Assessment, Airworthiness Security Certification Process
https://doi.org/10.3745/KTSDE.2019.8.6.223
Keywords: Airworthiness Certification, Cyber Attack, Fighter-Aircraft Software, Security Threat, Risk Assessment, Airworthiness Security Certification Process
Deep Neural Network-Based Scene Graph Generation for 3D Simulated Indoor Environments
Donghyeop Shin, Incheol Kim KIPS Transactions on Software and Data Engineering,
Vol. 8, No. 5, pp. 205-212,
May.
2019
10.3745/KTSDE.2019.8.5.205
Keywords: Scene Graph, 3D Indoor Environment, deep neural network, AI2-THOR
10.3745/KTSDE.2019.8.5.205
Keywords: Scene Graph, 3D Indoor Environment, deep neural network, AI2-THOR
Development of Railway Vibration Evaluation System Using Actual Railway Vibration Database
Lee Hyunjun, Seo Eun Seong, Hwang Young Sup KIPS Transactions on Software and Data Engineering,
Vol. 8, No. 4, pp. 153-162,
Apr.
2019
https://doi.org/10.3745/KTSDE.2019.8.4.153
Keywords: Railway, Vibration&Noise Database, Gradient Descent, Inference System
https://doi.org/10.3745/KTSDE.2019.8.4.153
Keywords: Railway, Vibration&Noise Database, Gradient Descent, Inference System
Comparison of Path Exploration and Model Checking Techniques for Checking Automotive API Call Safety
Dongwoo Kim, Yunja Choi KIPS Transactions on Software and Data Engineering,
Vol. 5, No. 12, pp. 615-622,
Dec.
2016
10.3745/KTSDE.2016.5.12.615
Keywords: Automotive Software, API, Constraint Pattern, Static Analysis, Model Checking
10.3745/KTSDE.2016.5.12.615
Keywords: Automotive Software, API, Constraint Pattern, Static Analysis, Model Checking
Stress Detection of Railway Point Machine Using Sound Analysis
Yongju Choi, Jonguk Lee, Daihee Park, Jonghyun Lee, Yongwha Chung, Hee-Young Kim, Sukhan Yoon KIPS Transactions on Software and Data Engineering,
Vol. 5, No. 9, pp. 433-440,
Sep.
2016
10.3745/KTSDE.2016.5.9.433
Keywords: Railway Point Machine, Stress Detection, Sound Analysis
10.3745/KTSDE.2016.5.9.433
Keywords: Railway Point Machine, Stress Detection, Sound Analysis
A Study on Optimal Renewal Cycle for Governmental Agency Software
Hoon Sang An , Jong Ho Bae , Young Sung Kim , Chul Hyun Park KIPS Transactions on Software and Data Engineering,
Vol. 5, No. 3, pp. 117-124,
Mar.
2016
10.3745/KTSDE.2016.5.3.117
10.3745/KTSDE.2016.5.3.117
Brain MRI Template-Driven Medical Images Mapping Method Based on Semantic Features for Ischemic Stroke
Ye Seul Park , Meeyeon Lee , Jung Won Lee KIPS Transactions on Software and Data Engineering,
Vol. 5, No. 2, pp. 69-78,
Feb.
2016
10.3745/KTSDE.2016.5.2.69
10.3745/KTSDE.2016.5.2.69
A Study for the Analysis of Domain for the Modeling of User Interface
Eun Ser Lee KIPS Transactions on Software and Data Engineering,
Vol. 5, No. 1, pp. 7-12,
Jan.
2016
10.3745/KTSDE.2016.5.1.7
10.3745/KTSDE.2016.5.1.7
A Study for Domain Categorization and Estimation of Complexity for Reliability Improvement of Domain Analysis
Eun Ser Lee KIPS Transactions on Software and Data Engineering,
Vol. 5, No. 1, pp. 1-6,
Jan.
2016
10.3745/KTSDE.2016.5.1.1
10.3745/KTSDE.2016.5.1.1