 | 2009 |
|---|
| 9 |       | Taeho Kim,
Dong-Wook Seo,
Hyun-Uk Chae,
Kang-Hyun Jo:
Auto-surveillance for Object to Bring In/Out Using Multiple Camera.
ICIC (1) 2009: 595-604 |
| 8 | | Taeho Kim,
Kang-Hyun Jo:
Real-Time Object Detection Using Two Background Models under Shaking Camera.
I. J. Information Acquisition 6(1): 13-21 (2009) |
| 2008 |
|---|
| 7 | | Taeho Kim,
Kang-Hyun Jo:
Generation of Multiple Background Model by Estimated Camera Motion Using Edge Segments.
ICIC (1) 2008: 536-543 |
| 2007 |
|---|
| 6 | | Phuong-Trinh Pham-Ngoc,
Taeho Kim,
Kang-Hyun Jo:
Robust Human Face Detection for Moving Pictures Based on Cascade-Typed Hybrid Classifier.
ICIC (2) 2007: 1110-1119 |
| 5 | | Taeho Kim,
Kang-Hyun Jo:
Detection of Moving Object Using Remained Background under Moving Camera.
I. J. Information Acquisition 4(3): 227-236 (2007) |
| 2005 |
|---|
| 4 | | Taeho Kim,
Jae-Gon Kim:
Heterogeneity in and Determinants of Technical Efficiency in the Use of Polluting Inputs.
ICCSA (4) 2005: 280-289 |
| 2002 |
|---|
| 3 | | Taeho Kim,
David W. J. Stringer-Calvert,
Sung Deok Cha:
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS.
TACAS 2002: 205-220 |
| 2001 |
|---|
| 2 |  | Taeho Kim,
Sung Deok Cha:
Automated structural analysis of SCR-style software requirements specifications using PVS.
Softw. Test., Verif. Reliab. 11(3): 143-163 (2001) |
| 1999 |
|---|
| 1 | | Taeho Kim,
Yeong-Tae Song,
Lawrence Chung,
Dung T. Huynh:
Dynamic Software Architecture Slicing.
COMPSAC 1999: 61-66 |
