DSpace at KOASAS
College of Engineering(공과대학)School of Computing(전산학부)

CS-Theses_Master(석사논문)

Search for

Recent Items

rss_1.0 rss_2.0 atom_1.0

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

2221
(The) design and implementation of a functional logic language with narrowing = Narrowing 을 이용한 함수 논리 언어의 설계및 구현link

Shin, Dong-Wook; 신동욱; et al, 한국과학기술원, 1986

2222
개념적 분석 방법을 사용한 한국어 문장의 의미분석에 관한 연구 : 언어학적 지식을 중심으로 = On the meaning analysis of korean sentence using conceptual analysislink

신지애; Shin, Ji-Ae; et al, 한국과학기술원, 1986

2223
PROKB에서의 불확정 지식 처리에 관한 연구 = A study on handling indefinite knowledge for PROKBlink

배복태; Bae, Bok-Tae; et al, 한국과학기술원, 1986

2224
PROKB의 다중 상속계층에 대한 일치성 유지기법 = Consistency maintenance mechanism for multiple inheritance hierarchy in PROKBlink

서상구; Seo, Sang-Koo; et al, 한국과학기술원, 1986

2225
LR-based parsing 을 위한 효율적인 syntax error repair = Efficient syntax error repair for LR-based parserslink

박경숙; Park, Kyung-Sug; et al, 한국과학기술원, 1986

2226
Design information system 구성 tool 을 위한 HAPS2의 확장과 적용 = The enhancement of HAPS2 and its application to building design information systemlink

박남석; Park, Nam-Seog; et al, 한국과학기술원, 1986

2227
(A) kinematic simulation system for human hand = 사람 손의 운동학적 모의 실험 시스템link

Park, Chan-Jong; 박찬종; et al, 한국과학기술원, 1986

2228
(An) experimental programming support system based on a syntax directed editor = Syntax directed editor 를 주축으로 한 실험적 프로그래밍 지원 시스템의 개발link

Kim, Jin-Woo; 김진우; et al, 한국과학기술원, 1986

2229
Extended numerical petri net 에 의한 SDL 표현의 모델링과 그 분석 = Modeling and analysis of SDL representations using extended numerical petri netlink

김환철; Kim, Hwan-Chul; et al, 한국과학기술원, 1986

2230
(A) graphic editor for automatic fortran code generation in nuclear power plant process control environment = 원자력 발전소 공정제어 환경에서의 fortran 코드 자동 생성을 위한 그래픽 편집기link

Kim, Yong-Il; 김용일; Chung, Won-Lyang; Shin, Hyun-Guk; et al, 한국과학기술원, 1986

2231
한국어 음성합성을 위한 음성표기 시스템의 설계 및 구현 = A design and implementation of the phonetic transcription system for korean speech synthesislink

김준; Kim, June; 조정완; 이윤준; et al, 한국과학기술원, 1986

2232
Incorporating abstraction mechanisms into a logic programming language = Logic 프로그래밍 언어에 추상화 기법을 도입하기 위한 연구link

Kim, Myung-Ho; 김명호; et al, 한국과학기술원, 1986

2233
(An) AND/OR graph model for parallel execution of logic program = 논리언어의 병렬수행을 위한 AND/OR graph modellink

Kim, Yong-Woon; 김용운; Cho, Jung-Wan; Maeng, Seung-Ryoul; et al, 한국과학기술원, 1986

2234
구조적 분석 기법의 자동화를 위한 기초 연구 = A study on automation of structured analysis techniqueslink

김동환; Kim, Dong-Hwan; et al, 한국과학기술원, 1986

2235
프롤로그와 관계 데이타베이스 시스템의 연결에 있어 순환법칙 처리방법에 관한 연구 = A recursion handling method in interfacing prolog with relational data base systemslink

김명균; Kim, Myoung-Gyun; et al, 한국과학기술원, 1986

2236
Attribute grammer 를 이용한 종합적인 테스팅 도구 (intester) 에 관한 연구 = Implementation of integrated testing tool (intester) using attribute grammarslink

김대순; Kim, Dae-Soon; et al, 한국과학기술원, 1986

2237
동사패턴과 의미자질을 이용한 英韓機械飜譯에 관한 연구 = A study on english-to-korean machine translation using verb patterns and semantic featureslink

김덕봉; Kim, Deok-Bong; et al, 한국과학기술원, 1986

2238
Software cost estimation for the microprocessor-embedded systems = 마이크로프로세서 내장시스템의 소프트웨어 개발비용 추정 사례연구link

Kang, Kwan-Hee; 강관희; et al, 한국과학기술원, 1986

2239
Error recovery routine 을 이용한 음성 인식에 관한 연구 = A study on the speech recognition using error recovery routinelink

강석호; Kang, Seok-Ho; 조정완; 이윤준; et al, 한국과학기술원, 1986

2240
(An) office workstation based on distributed processing architecture = 분산 처리 구조를 기초로 한 사무용 Workstationlink

Hwang, In-Bo; 황인보; et al, 한국과학기술원, 1985

Discover

rss_1.0 rss_2.0 atom_1.0