DSpace at KOASAS: Browsing DSpace

DSpace at KOASAS

Browsing DSpace

Browse "CS-Theses_Master(석사논문) " by Title

Sort by:
In order:
Results/Page
Authors/Record:

Showing results 1181 to 1200 of 2592

1181	Private status sharing and sender-controlled notification system for mobile messengers = 모바일 메신저를 위한 개인적 상태 공유 및 발신자 권한 알림 시스템 link Cho, Hyunsung; Lee, Sung-Ju; et al, 한국과학기술원, 2020
1182	Probabilistic cost model for nearest neighbor search in image retrieval = 이미지 검색에서의 최근접 이웃 검색을 위한 확률적 비용 모델 link Kim, Kun-Ho; 김근호; et al, 한국과학기술원, 2011
1183	Probabilistic cost model for nearest neighbor search in image retrieval = 이미지 검색에서의 최근접 이웃 검색을 위한 확률적 비용 모델 link Kim, Kun-Ho; 김근호; et al, 한국과학기술원, 2011
1184	Process and interrupt cooperative scheduling for disks = 디스크를 위한 프로세스와 인터럽트 협력 스케쥴링 기법 link Lee, Min-Sub; 이민섭; et al, 한국과학기술원, 2011
1185	Process and interrupt cooperative scheduling for disks = 디스크를 위한 프로세스와 인터럽트 협력 스케쥴링 기법 link Lee, Min-Sub; 이민섭; et al, 한국과학기술원, 2011
1186	Progressive transmission and inference of deep learning models served over network = 네트워크를 통해 제공되는 딥 러닝 모델의 점진적 전송 및 추론 link Lee, Youngsoo; Choi, Sunghee; et al, 한국과학기술원, 2021
1187	PROKB : a construction of knowlege base with dynamic features = PROKB : 동적 특성을 갖는 지식 베이스의 구축 link Cho, Han-Mo; 조한모; et al, 한국과학기술원, 1986
1188	PROKB에서의 불확정 지식 처리에 관한 연구 = A study on handling indefinite knowledge for PROKB link 배복태; Bae, Bok-Tae; et al, 한국과학기술원, 1986
1189	PROKB의 다중 상속계층에 대한 일치성 유지기법 = Consistency maintenance mechanism for multiple inheritance hierarchy in PROKB link 서상구; Seo, Sang-Koo; et al, 한국과학기술원, 1986
1190	Prolog 를 이용한 소프트웨어 요구 분석 프로그램의 구현 = Implementation of a software requirements analyzer in prolog link 최정훈; Choi, Jeong-Hun; et al, 한국과학기술원, 1987
1191	Prolog의 OR 병렬 수행을 위한 계층 다중 프로세서 시스템의 연구 = A study on the hierarchical multiprocessor system for OR-parallel execution of prolog link 송충근; Song, Chung-Geun; et al, 한국과학기술원, 1990
1192	ProtoChat: supporting the iterative conversation design process with crowd feedback = 프로토챗: 크라우드 피드백을 통한 반복적인 대화 디자인 과정 지원 시스템 link Choi, Yoonseo; Kim, Juho; et al, 한국과학기술원, 2021
1193	Proving FFMM type safety using coq = Coq을 이용한 FFMM의 타입 안전성 증명 link Kim Ji-Eung; 김지응; et al, 한국과학기술원, 2011
1194	Pure equations in logic programming languages : an approach to implementation of equality relation = 논리언어 상에서 pure equation 에 의한 equality relation 의 구현 link Han, Yoon-Seop; 한윤섭; et al, 한국과학기술원, 1986
1195	PVS를 이용한 safety-critical 시스템의 요구 사항 검증 = Verification of safety-critical system requirements using PVS link 김태호; Kim, Tae-Ho; et al, 한국과학기술원, 1997
1196	Quadra-embedding: binary code embedding with low quantization error = 양자화 오류를 최소화하는 이진 코드 임베딩에 대한 연구 link Lee, Young-Woon; 이영운; et al, 한국과학기술원, 2013
1197	Quality based software project staffing and scheduling with time bound = 소프트웨어 품질과 제한 시간을 고려한 프로젝트 계획 생성 방법 link Seo, Dong-Won; 서동원; et al, 한국과학기술원, 2014
1198	Quantitative evaluation of a low-cost noninvasive hybrid interface based on EEG and eye movement = 뇌파도 측정 및 눈동자 추적 기술을 이용한 저가형 비침습적 하이브리드형 인터페이스의 정량적인 평가 link Kim, Min-Ho; 김민호; et al, 한국과학기술원, 2014
1199	Quantum probabilistic model checking = 양자컴퓨터를 이용한 확률 시스템 모델체킹 link Jeon, Seungmin; 전승민; et al, 한국과학기술원, 2024
1200	Query expansion using augmented terms in an extended boolean model = 확장 불리언 모델에서 추가용어를 이용한 질의 확장 link Nguyen, Tuan Quang; Whang, Kyu-Young; et al, 한국과학기술원, 2007

firstprev51 52 53 54 55 56 57 58 59 60 nextlast

Discover

KOASAS

Knowledge Service Development Team, KAIST 291 Daehak-ro, Yuseong-gu, Daejeon 34141, Republic of Korea. T. 82-42-350-4493 Email. koasas@kaist.ac.kr
Copyright © 2016. Korea Advanced Institute of Science and Technology. All Rights Reserved.

Communities & Collections

rss_1.0 rss_2.0 atom_1.0