Digital Library

KIPS Transactions on Software and Data Engineering, Vol. 4, No. 11, Nov. 2015


A Case Study on Model Checking Online-Game Server Party System Using SPIN
Goanghun Kim , Yunja Choi
KIPS Transactions on Software and Data Engineering, Vol. 4, No. 11, pp. 479-486, Nov. 2015
10.3745/KTSDE.2015.4.11.479

Modeling Traceability Between Software Product Line Requirements and Architecture
Seokhwan Eom , Sungwon Kang , Jingyu Kim , Seonah Lee
KIPS Transactions on Software and Data Engineering, Vol. 4, No. 11, pp. 487-498, Nov. 2015
10.3745/KTSDE.2015.4.11.487

High Utility Itemset Mining Using Transaction Utility of Itemsets
Serin Lee , Jong Soo Park
KIPS Transactions on Software and Data Engineering, Vol. 4, No. 11, pp. 499-508, Nov. 2015
10.3745/KTSDE.2015.4.11.499

Prediction of Correct Answer Rate and Identification of Significant Factors for CSAT English Test Based on Data Mining Techniques
Hee Jin Park , Kyoung Ye Jang , Youn Ho Lee , Woo Je Kim , Pil Sung Kang
KIPS Transactions on Software and Data Engineering, Vol. 4, No. 11, pp. 509-520, Nov. 2015
10.3745/KTSDE.2015.4.11.509

Road Sign Detection with Weather/Illumination Classifications and Adaptive Color Models in Various Road Images
Tae Hung Kim , Kwang Yong Lim , Hye Ran Byun , Yeong Woo Choi
KIPS Transactions on Software and Data Engineering, Vol. 4, No. 11, pp. 521-528, Nov. 2015
10.3745/KTSDE.2015.4.11.521

Non-Photorealistic Rendering Using CUDA-Based Image Segmentation
Hyun Cheol Yoon , Jong Seung Park
KIPS Transactions on Software and Data Engineering, Vol. 4, No. 11, pp. 529-536, Nov. 2015
10.3745/KTSDE.2015.4.11.529