|
| 1 |
A Case Study on Model Checking Online-Game Server Party System Using SPIN
Kim, Goanghun;Choi, Yunja;
/
Korea Information Processing Society
, v.4, no.11, pp.479-486,
|
|
| 2 |
Modeling Traceability Between Software Product Line Requirements and Architecture
Eom, Seokhwan;Kang, Sungwon;Kim, Jingyu;Lee, Seonah;
/
Korea Information Processing Society
, v.4, no.11, pp.487-498,
|
|
| 3 |
High Utility Itemset Mining Using Transaction Utility of Itemsets
Lee, Serin;Park, Jong Soo;
/
Korea Information Processing Society
, v.4, no.11, pp.499-508,
|
|
| 4 |
Prediction of Correct Answer Rate and Identification of Significant Factors for CSAT English Test Based on Data Mining Techniques
Park, Hee Jin;Jang, Kyoung Ye;Lee, Youn Ho;Kim, Woo Je;Kang, Pil Sung;
/
Korea Information Processing Society
, v.4, no.11, pp.509-520,
|
|
| 5 |
Road Sign Detection with Weather/Illumination Classifications and Adaptive Color Models in Various Road Images
Kim, Tae Hung;Lim, Kwang Yong;Byun, Hye Ran;Choi, Yeong Woo;
/
Korea Information Processing Society
, v.4, no.11, pp.521-528,
|
|
| 6 |
Non-Photorealistic Rendering Using CUDA-Based Image Segmentation
Yoon, Hyun-Cheol;Park, Jong-Seung;
/
Korea Information Processing Society
, v.4, no.11, pp.529-536,
|
|