CS-Theses_Master(석사논문)

Recent Items

Collection's Items (Sorted by Submit Date in Descending order): 2041 to 2060 of 2521

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

rss_1.0 rss_2.0 atom_1.0