|
| 1 |
Comparison of Path Exploration and Model Checking Techniques for Checking Automotive API Call Safety
Kim, Dongwoo;Choi, Yunja;
/
Korea Information Processing Society
, v.5, no.12, pp.615-622,
|
|
| 2 |
PPFP(Push and Pop Frequent Pattern Mining): A Novel Frequent Pattern Mining Method for Bigdata Frequent Pattern Mining
Lee, Jung-Hun;Min, Youn-A;
/
Korea Information Processing Society
, v.5, no.12, pp.623-634,
|
|
| 3 |
A Study on Quality Classification of Injection Molding Process by Kalman Filter
Shin, Bong Deug;Oh, Hyuk Jun;
/
Korea Information Processing Society
, v.5, no.12, pp.635-640,
|
|
| 4 |
A Method to Automatically Generate Test Scripts from Checklist for Testing Embedded System
Kang, Tae Hoon;Kim, Dae Joon;Chung, Ki Hyun;Choi, Kyung Hee;
/
Korea Information Processing Society
, v.5, no.12, pp.641-652,
|
|
| 5 |
Test Case Generation for Simulink/Stateflow Model Based on a Modified Rapidly Exploring Random Tree Algorithm
Park, Han Gon;Chung, Ki Hyun;Choi, Kyung Hee;
/
Korea Information Processing Society
, v.5, no.12, pp.653-662,
|
|
| 6 |
3D-Modeling-Based Template Matching
Han, Youngmo;
/
Korea Information Processing Society
, v.5, no.12, pp.663-670,
|
|
| 7 |
Contactless Biometric Using Thumb Image
Lim, Naeun;Han, Jae Hyun;Lee, Eui Chul;
/
Korea Information Processing Society
, v.5, no.12, pp.671-676,
|
|
| 8 |
Scattered Light Representation in Accordance with the Material Using Scatterer Template in Volume Rendering
Lee, Byeong-Joon;Kwon, Koojoo;Shin, Byeong-Seok;
/
Korea Information Processing Society
, v.5, no.12, pp.677-684,
|
|