| 11 | Dynamic composition of functionality using code mobility for autonomous objects = 자율적 객체에서의 코드 이동성을 이용한 동적 기능 합성link Kim, In-Gyu; 김인규; Bae, Doo-Whan; 배두환, 한국과학기술원, 2000 |
| 12 | 저품질 신용카드 전표의 효과적인 영상처리 및 인식 = Effective image processing and recognition of low-quality cardslip imageslink 박상은; Bak, Sang-Eun; 김진형; Kim, Jin-Hyung, 한국과학기술원, 2001 |
| 13 | (An) explicit polymorphic type system for verifying untrusted low-level codes = 복합형 타입시스템을 이용한 기계어 코드의 검증link Chung, Jae-Youn; 정재윤; Yi, Kwang-Keun; 이광근, 한국과학기술원, 2000 |
| 14 | 원자현미경의 피에조 스캐너 제어를 위한 퍼지 제어기의 설계 = Design of Fuzzy controller for Piezo scanner in atomic force microscopelink 정성원; Jung, Sung-Won; 이광형; Lee, Kwang-Hyung, 한국과학기술원, 2000 |
| 15 | 3차원 가상 환경에서의 실시간 폭발 = The real-time explosion in 3-D virtual environmentslink 전성규; Jeon, Seong-Gyu; 원광연; Wohn, Kwang-Yeon, 한국과학기술원, 2001 |
| 16 | 오디세우스 객체지향/객체관계형 DBMS를 위한 JDBC 드라이버의 설계 및 구현 = Design and implementation of a JDBC driver for the ODYSSEUS object-oriented/object-relational DBMSlink 김민수; Kim, Min-Soo; 황규영; Whang, Kyu-Young, 한국과학기술원, 2000 |
| 17 | Parabola separation queries and their application to stone throwing = 포물선 분리 질의와 그를 응용한 돌 던지기link Kim, Hyo-Sil; 김효실; Cheong, Otfried; 정지원, 한국과학기술원, 2007 |
| 18 | 모델 체킹을 이용한 SDL 명세로부터의 테스트 케이스 생성 환경 구현 = Test generation environment in SDL specification using model checkerlink 이금자; Lee, Geum-Ja; 차성덕; Cha, Sung-Deok, 한국과학기술원, 2003 |
| 19 | 모바일 애드 혹 네트워크에서 분산 해쉬 테이블 기반의 서비스 탐색 기법 = DHT-based service discovery in MANETslink 정재훈; Jung, Jae-Hoon; 윤현수; Yoon, Hyun-Soo, 한국과학기술원, 2007 |
| 20 | Feature-preserving high-quality regular remeshing = 특징을 보존하는 고품질 정규 리매싱 기법link Kim, Yun-Hyoung; 김윤형; Shin, Sung-Yong; 신성용, 한국과학기술원, 2007 |
