Search the dblp DataBase
Taeho Kim :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] 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 ] Generation of Multiple Background Model by Estimated Camera Motion Using Edge Segments. [Citation Graph (, )][DBLP ] Auto-surveillance for Object to Bring In/Out Using Multiple Camera. [Citation Graph (, )][DBLP ] On realization of modified encoding/decoding for high capacity panoramic video. [Citation Graph (, )][DBLP ] Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay. [Citation Graph (, )][DBLP ] Search in 0.001secs, Finished in 0.001secs