2041 | 원형 복원 방법을 이용한 한글 철자 검사기의 설계 및 구현 = A design and implementation of hangul spelling checker by stem recovery methodlink 송춘환; Song, Choon-Hwan H.; et al, 한국과학기술원, 1990 |
2042 | 직접 조작 방식의 사용자 인터페이스를 제공하기 위한 USE 명세어의 확장 = Extension of the USE specification language to support direct-manipulation styles for the user interfaceslink 박찬정; Park, Chan-Jung; et al, 한국과학기술원, 1990 |
2043 | 완전 공유 다중 처리기 시스템에서 회복 알고리즘들을 고려한 트랜잭션 처리 시스템의 성능 평가 = Performance analysis of transaction processing system with respect to recovery algorithms in shared everything multiprocessor systemlink 서재봉; Seo, Jae-Bong; 조정완; 이윤준; et al, 한국과학기술원, 1990 |
2044 | Automatic 2D grasp planning for 2-finger grippers = 두 손가락 그리퍼의 자동적 2차원 그래스프 계획 설계link Park, Sung-Choon; 박성춘; et al, 한국과학기술원, 1990 |
2045 | 함수 언어의 병렬 수행을 위한 병렬 G-머신의 설계 및 성능 평가 = Design and performance evaluation of parallel G-machine for parallel execution of functional languageslink 박재민; Park, Jae-Min; et al, 한국과학기술원, 1990 |
2046 | 교환수 전문가시스템을 위한 사용자 요구이해처리부의 설계 및 구현 = Design and implementation of user request understanding model in operator expert systemlink 박상훈; Park, Sang-Hun; et al, 한국과학기술원, 1990 |
2047 | 영한 기계번역을 위한 영어 구문 해석 시스템의 설계 및 구현 = A design and implementation of english syntactic analysis system for english-korean machine translationlink 김정수; Kim, Jeong-Su; et al, 한국과학기술원, 1990 |
2048 | (A) knowledge-based image understanding system using the blackboard model = 블랙보드 모델을 이용한 지식기반의 영상이해 시스템link Kim, Il-Young; 김일영; et al, 한국과학기술원, 1990 |
2049 | 분산 운영 체제에서의 비동기 부하 균형화 기법 = An asynchronous load balancing mechanism on distributed operating systemslink 김장욱; Kim, Jang-Wook; et al, 한국과학기술원, 1990 |
2050 | 비방송 통신망상의 분할 데이타베이스를 위한 조인 최적화 = Join optimization for fragmented databases on non-broadcast networklink 김덕준; Kim, Deok-Joon; 문송천; 채광무; et al, 한국과학기술원, 1990 |
2051 | 영어 형태소 분석 시스템의 설계 및 구현 = A design and implementation of english morphological analysis systemlink 김연배; Kim, Yeon-Bae; et al, 한국과학기술원, 1990 |
2052 | 접속정보를 이용한 한글 철자 및 띄어쓰기 검사기의 설계 및 구현 = A design and implementation of hangul spelling and word-spacing checker using connectivity informationlink 강재우; Kang, Jae-Woo; et al, 한국과학기술원, 1990 |
2053 | Modular prolog의 설계 및 구현 = Design and implementation of modular prologlink 길아라; Khil, A-Ra; et al, 한국과학기술원, 1990 |
2054 | (A) study on the test data generation based on the dynamic analysis of specifications = 명세의 동적 분석을 통한 테스트 데이타 생성에 관한 연구link Jung, In-Sang; 정인상; et al, 한국과학기술원, 1989 |
2055 | (A) study on the optimal number of ephemeral levels in lifetime-based garbage collector = 객체의 존속시간을 고려한 Garbage collector의 최적 영역수에 관한 연구link Hahn, Sun-Hwa; 한선화; et al, 한국과학기술원, 1989 |
2056 | 분산 데이타베이스 시스템에서의 교착상태 탐지 기법의 성능 비교 = Performance comparison of deadlock detection schemes in distributed database systemslink 이원섭; Lee, Won-Sup; et al, 한국과학기술원, 1989 |
2057 | 객체 지향 프로그래밍에서 객체의 동적 변환 지원에 관한 연구 = A study on the run time conversion of objects in object oriented programminglink 이인재; Lee, In-Jae; et al, 한국과학기술원, 1989 |
2058 | Common LISP의 확장 개념으로서 rule-based system의 통합 = An integration of rule-based system as an extension of common LISPlink 임선배; Lim, Sun-Bae; et al, 한국과학기술원, 1989 |
2059 | 경험적 분류 모델에 기초한 컴퓨터 고장 진단 전문가시스템의 개발에 관한 연구 = A study on the development of an expert systwm for computer fault diagnosis based on the heuristic classificationlink 안병문; Ahn, Byung-Moon; et al, 한국과학기술원, 1989 |
2060 | Common LISP에서의 foreign language interface의 구현 = An implementation of foreign language interface om common LISPlink 오용서; Oh, Yong-Seo; et al, 한국과학기술원, 1989 |