Digital Library

KIPS Transactions on Software and Data Engineering, Vol. 6, No. 4, Apr. 2017


Using Model Checking to Verify an Automotive Electric Parking Brake System
Jun Yeol Choi, Joon Hyung Cho, Yun Ja Choi
KIPS Transactions on Software and Data Engineering, Vol. 6, No. 4, pp. 167-176, Apr. 2017
10.3745/KTSDE.2017.6.4.167
Keywords: Model Checking, Automotive Verification, Formal Verification, Safety Requirement

A Collecting Model of Public Opinion on Social Disaster in Twitter: A Case Study in ‘Humidifier Disinfectant’
JunHyeong Park, Pum-Mo Ryu, Hyo-Jung Oh
KIPS Transactions on Software and Data Engineering, Vol. 6, No. 4, pp. 177-184, Apr. 2017
10.3745/KTSDE.2017.6.4.177
Keywords: Social Disaster, Public Opinion Collecting, Social Media, Humidifier Disinfectant

An Efficient Method for Finding Similar Regions in a 2-Dimensional Array Data
YeonJeong Choe, Ki Yong Lee
KIPS Transactions on Software and Data Engineering, Vol. 6, No. 4, pp. 185-192, Apr. 2017
10.3745/KTSDE.2017.6.4.185
Keywords: Array Data, Finding Similar Regions, Array Query Processing, Array Database

An Integrated Method of Iterative and Incremental Requirement Analysis for Large-Scale Systems
Jisung Park, Jaeho Lee
KIPS Transactions on Software and Data Engineering, Vol. 6, No. 4, pp. 193-202, Apr. 2017
10.3745/KTSDE.2017.6.4.193
Keywords: Requirement Analysis, Large-Scale System, Big Data

Design of a Deep Neural Network Model for Image Caption Generation
Dongha Kim, Incheol Kim
KIPS Transactions on Software and Data Engineering, Vol. 6, No. 4, pp. 203-210, Apr. 2017
10.3745/KTSDE.2017.6.4.203
Keywords: Image Caption Generation, Deep Neural Network Model, Model Transfer, Multi-Modal Recurrent Neural Network

Parametric Image Generation and Enhancement in Contrast-Enhanced Ultrasonography
Shin-Hae Kim, Eun-Lim Lee, Eun-Bee Jo, Ho-Joon Kim
KIPS Transactions on Software and Data Engineering, Vol. 6, No. 4, pp. 211-216, Apr. 2017
10.3745/KTSDE.2017.6.4.211
Keywords: Medical Ultrasonography, Image Processing, Image Enhancement, Contrast Enhancement, Parametric Imaging

Sensor Fusion Docking System of Drone and Ground Vehicles Using Image Object Detection
Jong-Hwan Beck, Hee-Su Park, Se-Ryeong Oh, Ji-Hun Shin, Sang-Hoon Kim
KIPS Transactions on Software and Data Engineering, Vol. 6, No. 4, pp. 217-222, Apr. 2017
10.3745/KTSDE.2017.6.4.217
Keywords: Drone, Docking Method, Image Object Detection, Template Matching