2141 | 제한된 AND 병렬성 모델에서의 인텔리전트 백트랙킹 = Intelligent backtracking in the restricted AND parallelism(RAP) modellink 신성엽; Shin, Seong-Yeob; et al, 한국과학기술원, 1988 |
2142 | 혼합형 제어 전략을 사용한 인쇄체 한글 문자의 인식 = Recognition of printed korean characters using a mixed control strategylink 심원태; Sim, Won-Tae; et al, 한국과학기술원, 1988 |
2143 | 한글문서 인식 시스템의 오인식 수정에 관한 연구 = A study on the error corrction in HANGUL text recognition systemlink 박진규; Park, Jin-Kyu; et al, 한국과학기술원, 1988 |
2144 | 디지탈 시스템에서의 고장 판별 기능 집합과 이의 순차적 t-및 t/t+l- 고장 진단도에 대한 응용 = Fault identifiable set and its applications to sequential t- and t/t+1- diagnosabilities in digital systemslink 박준철; Park, Jun-Cheol; et al, 한국과학기술원, 1988 |
2145 | 주기억 장치 데이타베이스 시스템 환경에서 동시성 제어 기법의 성능 평가 = Performance evaluation of concurrency control methods in main memory database systemslink 성석수; Sung, Suk-Su; et al, 한국과학기술원, 1988 |
2146 | 함수 논리 언어를 위한 순차 추상 기계의 설계 = Design of a sequential abstract machine for functional logic languageslink 낭종호; Nang, Jong-Ho; et al, 한국과학기술원, 1988 |
2147 | 무결성 규칙과 시멘틱을 이용한 연역 질의 최적화에 관한 연구 = A study on deductive query optimization using integrity constraints and semanticslink 박선민; Park, Sun-Min; et al, 한국과학기술원, 1988 |
2148 | Efficient wire frame display of parametric surface patches = 매개변수 곡면의 효율적 선형 디스플레이link Park, Si-Young; 박시영; et al, 한국과학기술원, 1988 |
2149 | 고울 프로세스 모델을 위한 추상 기계의 설계 = Design of an abstract machine for the goal process modellink 김형철; Kim, Hyung-Chul; et al, 한국과학기술원, 1988 |
2150 | 구조적 특성 분석을 통한 한국 신문 기사의 추출 = Extracting articles from structural analysis of korean newspaper imagelink 김형훈; Kim, Hyung-Hoon; et al, 한국과학기술원, 1988 |
2151 | 추론 모형에 기초한 믿음과 지식의 증명 방법에 관한 연구 = A proof mechanism for knowledge and belief based on deduction modellink 김영훈; Kim, Young-Hoon; et al, 한국과학기술원, 1988 |
2152 | (A) robot manipulator package = 로보트 제작기 패키지link Kim, Hee-Jung; 김희정; et al, 한국과학기술원, 1988 |
2153 | 분산 데이타베이스 시스템에서 순간 검증을 이용하는 혼성 동시성 제어 기법 = A hybrid concurrency control scheme using snapshot validation in distributed database systemslink 김유성; Kim, Yoo-Sung; et al, 한국과학기술원, 1988 |
2154 | 분산 데이타베이스 시스템에서의 혼합 동시성 제어 기법의 성능 = Performance of a mixed concurrency control method in distributed database systemslink 김진배; Kim, Jin-Bae; et al, 한국과학기술원, 1988 |
2155 | 자연스러운 표층문 생성을 위한 한국어 표현특성에 관한 연구 : PIVOT 방식 기계번역에서 = A study on the korean-specific sentence structure for natural generation of surface sentence : in PIVOT machine translationlink 김명철; Kim, Myoung-Cheol; et al, 한국과학기술원, 1988 |
2156 | Automatic extraction of graphical output primitives from a line drawing = 선 도면으로부터 그래픽 출력 요소의 자동 추출link Kim, Soo-Hyung; 김수형; et al, 한국과학기술원, 1988 |
2157 | 소프트웨어 개발 및 관리를 위한 UNIX 화일 시스템의 응용 = Application of the UNIX file system for software development and managementlink 김영애; Kim, Young-Eae; et al, 한국과학기술원, 1988 |
2158 | 중심어 주도형 구절구조 문법을 이용한 한국어 구문구조 해석기의 구현 = Implementation of HPSG(head-driven phrase structure grammar) syntactic parser for koreanlink 금장철; Keum, Jang-Chul; et al, 한국과학기술원, 1988 |
2159 | 지식처리형 작업계획 시스템 도구의 개발 = Development of knowledge-based planning and scheduling system shelllink 강희중; Kang, Hee-Joong; et al, 한국과학기술원, 1988 |
2160 | 한국어 연결단어를 위한 인식단위의 연구 : 연결 숫자음의 경우에 관한 연구 = A study on the recognition unit for the Korean connected word : a case study in Korean connected digit recognitionlink 정영조; Chung, Young-Cho; et al, 한국과학기술원, 1987 |