Search the dblp DataBase

Publications of Author

1. Taeho Kim, Yeong-Tae Song, Lawrence Chung, Dung T. Huynh
   Dynamic Software Architecture Slicing. [Citation Graph (0, 0)][DBLP]
   COMPSAC, 1999, pp:61-66 [Conf]
   
2. Taeho Kim, Jae-Gon Kim
   Heterogeneity in and Determinants of Technical Efficiency in the Use of Polluting Inputs. [Citation Graph (0, 0)][DBLP]
   ICCSA (4), 2005, pp:280-289 [Conf]
   
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. [Citation Graph (0, 0)][DBLP]
   TACAS, 2002, pp:205-220 [Conf]
   
4. Taeho Kim, Sung Deok Cha
   Automated structural analysis of SCR-style software requirements specifications using PVS. [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2001, v:11, n:3, pp:143-163 [Journal]
   
5. Phuong-Trinh Pham-Ngoc, Tae-Ho Kim, Kang-Hyun Jo
   Robust Human Face Detection for Moving Pictures Based on Cascade-Typed Hybrid Classifier. [Citation Graph (0, 0)][DBLP]
   ICIC (2), 2007, pp:1110-1119 [Conf]
   
6. 
   Generation of Multiple Background Model by Estimated Camera Motion Using Edge Segments. [Citation Graph (, )][DBLP]
   
   
7. 
   Auto-surveillance for Object to Bring In/Out Using Multiple Camera. [Citation Graph (, )][DBLP]
   
   
8. 
   On realization of modified encoding/decoding for high capacity panoramic video. [Citation Graph (, )][DBLP]
   
   
9. 
   Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay. [Citation Graph (, )][DBLP]