2041 | 대화상 단축표현의 계획, 상황적 이해에 대한 연구 = A study on understanding of sentence fragment in dialogue based in plan and situationlink 정광렬; Jung, Gwang-Ryoul; et al, 한국과학기술원, 1989 |
2042 | 컴퓨터에 의한 구조적 획요소 구성방식의 한글 자형 설계 시스템 = A computerized hangul typeface design system by structured composition of stroke elementslink 임순범; Lim, Soon-Bum; et al, 한국과학기술원, 1989 |
2043 | 설명에 근거한 학습 방법에서 근사 예제의 처리에 관한 연구 = Learning with a near-miss example in explanation-based learninglink 임영숙; Lim, Young-Suk; et al, 한국과학기술원, 1989 |
2044 | 국부적 최소비용 오류보정에서 prefix 스트링의 효율적인 계산 = Efficient computation of prefix strings in the locally least-cost error repairlink 이형효; Lee, Hyung-Hyo; et al, 한국과학기술원, 1989 |
2045 | 프로그램 수행 경로와 자료 흐름 정보에 기반을 둔 새로운 복잡도 척도에 관한 연구 = A new hybrid complexity measure based on program path and data flow informationlink 이호경; Lee, Ho-Kyoung; et al, 한국과학기술원, 1989 |
2046 | 요약 결집에 근거한 2단계 signature 화일 방법 = Two level signature file method based on signature clusteringlink 이준호; Lee, Joon-Ho; et al, 한국과학기술원, 1989 |
2047 | 가드를 가지는 논리언어를 위한 병렬 수행기의 구현 = An implementation of the parallel evaluator for a guarded logic languagelink 이수현; Lee, Su-Hyun; et al, 한국과학기술원, 1989 |
2048 | 논리 프로그램의 병렬 수행을 위한 bipartite 멀티프로세서 구조에서의 부하 균등 = Load balancing on the bipartite multiprocessor architecture for parallel evaluation of logic programslink 우진형; Woo, Jin-Hyung; et al, 한국과학기술원, 1989 |
2049 | 다중 활자체 한글 인식을 위한 자모의 분리 = Alphabet separation for multi-font hangul recognitionlink 이광호; Lee, Kwang-Ho; et al, 한국과학기술원, 1989 |
2050 | 성층 연역 데이타베이스 시스템의 질의 처리에 관한 연구 = Design and implementation of stratified deductive query processing systemlink 양영주; Yang, Young-Ju; et al, 한국과학기술원, 1989 |
2051 | MAKE 프로그램의 종속 규칙에 애트리뷰트를 도입하기 위한 연구 = A study on incorporating attributes into the dependency rules for the MAKE programlink 여인준; Yeo, In-Joon; et al, 한국과학기술원, 1989 |
2052 | 프롤로그를 이용한 게이트 수준 논리 회로 합성에 관한 연구 = A study on gate level logic circuit synthesis using prologlink 안종철; Ahn, Jong-Chul; et al, 한국과학기술원, 1989 |
2053 | 모드 정보를 이용한 프롤로그의 폴리모픽 형 검증에 관한 연구 = A study on the polymorphic type checking of prolog with mode informationlink 심규환; Sim, Kyu-Hwan; et al, 한국과학기술원, 1989 |
2054 | 이력 데이타베이스를 기반으로 하는 이력 요약 테이블의 설계 및 구현 = Design and implementation of temporal summary table based on temporal databaselink 안태호; Ahn, Tae-Ho; et al, 한국과학기술원, 1989 |
2055 | Ethernet 환경하에서 simple atomic broadcasting프로토콜의 구현 = Simple atomic broadcasting protocol on ethernet environmentlink 안남식; Ahn, Nam-Shik; et al, 한국과학기술원, 1989 |
2056 | 속성단일화 언어 FUL의 설계와 이를 이용한 LFG, HPSG parser의 구현 = Design of a feature unification language FUL and implementations of LFG and HPSG parsers using FULlink 손덕진; Son, Deog-Jin; et al, 한국과학기술원, 1989 |
2057 | 지연 계산을 첨가한 concurrent prolog의 설계 = The design of a concurrent prolog with lazy evaluationlink 손은영; Son, Eun-Young; et al, 한국과학기술원, 1989 |
2058 | 실시간 중복 데이타베이스 시스템에서의 동시성 제어 = Concurrency control in real-time replicated database systemslink 서정훈; Seu, John-Hughn; et al, 한국과학기술원, 1989 |
2059 | 분할된 분산 데이타베이스 시스템에서 트랜잭션 철회 전략의 성능 = Performance of transaction rollback strategies in partitioned distributed database systemslink 황병연; Hwang, Byeong-Yeon; et al, 한국과학기술원, 1989 |
2060 | 소프트웨어 고장을 허용하는 원격 프로시듀어 호출 = Software fault-tolerant remote procedure calllink 백칠현; Baek, Chil-Hyun; et al, 한국과학기술원, 1989 |