2007 |
11 | EE | Woo-han Yun,
Do-Hyung Kim,
Su-young Chi,
Ho-Sub Yoon:
Two-Dimensional Logistic Regression.
ICTAI (2) 2007: 349-353 |
2006 |
10 | EE | Keun-Chang Kwak,
Do-Hyung Kim,
Byoung-Youl Song,
Dae-Ha Lee,
Soo-Young Chi,
Young-Jo Cho:
Vision-based Human-Robot Interaction Components for URC Intelligent Service Robots.
IROS 2006 |
2005 |
9 | EE | Hyung-Woo Lee,
Sung-Hyun Yun,
Jae-Sung Kim,
Nam-Ho Oh,
Do-Hyung Kim:
IPv6/IPsec Conformance Test Management System with Formal Description Technique.
ICCSA (2) 2005: 401-410 |
2004 |
8 | EE | Zeungnam Bien,
Myung Jin Chung,
Pyung Hun Chang,
Dong-Soo Kwon,
Dae-Jin Kim,
Jeong-Su Han,
Jae-Hean Kim,
Do-Hyung Kim,
Hyung-Soon Park,
Sang-Hoon Kang,
Kyoobin Lee,
Soo Chul Lim:
Integration of a Rehabilitation Robotic System (KARES II) with Human-Friendly Man-Machine Interaction Units.
Auton. Robots 16(2): 165-191 (2004) |
2001 |
7 | | Whee Kuk Kim,
Do-Hyung Kim,
Byung-Ju Yi,
Bum-Jae You:
Kinematic Modeling of Mobile Robots by Transfer Method of Augmented Generalized Coordinates.
ICRA 2001: 2413-2418 |
2000 |
6 | EE | Do-Hyung Kim,
Chang-Soon Park:
A Communication-Induced Checkpointing Algorithm Using Virtual Checkpoint on Distributed Systems.
ICPADS 2000: 145-150 |
1997 |
5 | EE | Gyung-Ok Lee,
Do-Hyung Kim:
Characterization of Extended LR(k) Grammars.
Inf. Process. Lett. 64(2): 75-82 (1997) |
1994 |
4 | | Su-Hyun Lee,
Do-Hyung Kim,
Kwang-Moo Choe:
Path for AND-Parallel Execution of Logic Programs.
Inf. Process. Lett. 52(4): 191-199 (1994) |
1992 |
3 | | Do-Hyung Kim,
Kwang-Moo Choe:
Corrigenda: Yet Another Efficient Backward Execution Algorithm in the AND/OR Process Model.
Inf. Process. Lett. 43(3): 165 (1992) |
2 | | Do-Hyung Kim,
Kwang-Moo Choe,
Taisook Han:
Refined Mark(s)-Set-Based Backtrack Literal Selection for and Parallelism in Logic Programs.
Parallel Processing Letters 2: 71-79 (1992) |
1991 |
1 | | Do-Hyung Kim,
Kwang-Moo Choe:
Yet Another Efficient Backward Execution Algorithm in the AND/OR Process Model.
Inf. Process. Lett. 40(4): 201-211 (1991) |