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


    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


    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


    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


    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


    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


    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


    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


    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


    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