DSpace at KOASAS
Browsing DSpace

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

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

enter title:

Showing results 1261 to 1280 of 2521

1261
SSD에서의 다중 조인 알고리즘에 관한 연구 = Revisits to the multi-way join algorithms for solid state driveslink

이수호; Lee, Soo-Ho; et al, 한국과학기술원, 2013

1262
Standard ML 프로그램 식들의 유추된 타입들을 보여 주는 도구의 개발 = A tool for showing inferenced types of standard ML expressionslink

편기현; Pyun, Ki-Hyun; et al, 한국과학기술원, 1997

1263
Standard ML 프로그램 실행 중 처리되지 않는 예외 상황을 예측하는 방법 = Estimating uncaught exceptions in standard ML programs from type-based equationslink

류석영; Ryu, Suk-Young; et al, 한국과학기술원, 1996

1264
State transition modeling and syntactic validation of a connection establishment protocol = 접속 형성 프로토콜의 상태 천이 모형화 및 구문법적 검증에 관한 연구link

Jeong, Man-Sang; 정만상; et al, 한국과학기술원, 1984

1265
State-checking push-pull interface generation for rapid prototyping = 빠른 원형 제작을 위한 상태 검사 푸시-풀 인터페이스 생성link

Son, Choon-Ho; 손춘호; et al, 한국과학기술원, 2006

1266
Statecharts 명세의 역방향 안전성 분석 = Backward safety analysis for statecharts specificationslink

장준보; Jang, Joon-Bo; et al, 한국과학기술원, 1999

1267
Static analysis of JavaScript programs = 자바스크립트 프로그램의 정적 분석 : 난제와 연구경향 분석link

Sun, Kwangwon; 선광원; et al, 한국과학기술원, 2016

1268
Static transformation for heap layout using memory access patterns = 메모리 접근 패턴을 활용한 힙구성의 정적 변환link

Jeon, Jin-Seong; 전진성; et al, 한국과학기술원, 2007

1269
Stepwise verification of statecharts specification using state abstraction = 상태 추상화를 통한 Statecharts 요구명세의 단계적 검증link

Oh, Seung-Uk; 오승욱; et al, 한국과학기술원, 1998

1270
Stereo fusion using a refractive medium on a bicnoular base = 양안 기반의 굴절 매질을 이용한 스테레오 합성link

Baek, Seung-Hwan; 백승환; et al, 한국과학기술원, 2015

1271
Stochastic subset selection = 확률론적 부분 집합 선택link

Nguyen, Anh Tuan; Hwang, Sung Ju; et al, 한국과학기술원, 2020

1272
Study of execution model of permissioned blockchain using trusted serverless computing = 신뢰할 수 있는 서버리스 컴퓨팅을 이용한 허가형 블록체인 실행 모델에 대한 연구link

Oh, Byungsoo; Kim, Daeyoung; et al, 한국과학기술원, 2020

1273
Study on anti-forensics of single and double JPEG detection using convolutional neural network = 컨볼류션 신경망을 이용한 단일 및 이중 JPEG 압축 탐지 안티포렌식 연구link

Kim, Do-Hyun; Lee, Heungkyu; et al, 한국과학기술원, 2021

1274
Study on the automatic indexing system compared with the simi-automatic indexing system = 정보검색에서 반자동 Indexing 과 비교한 완전자동 indexing 에 대한 연구link

Chung, In-Jung; 정인정; et al, 한국과학기술원, 1980

1275
Style factor modeling via speech decomposition for expressive and controllable neural text to speech = 다양한 표현 및 제어가 가능한 음성 합성 시스템을 위한 음성 분해 기반의 스타일 요소 모델링 연구link

Lee, Keon; Kim, Daeyoung; et al, 한국과학기술원, 2022

1276
Style transfer training scheme for domain generalization in object detection = 도메인 일반화 객체 감지 모델을 위한 스타일 변환 학습 기법link

Chung, Youjin; Park, Jinah; et al, 한국과학기술원, 2022

1277
Subpage based flash translation layer for solid state drivers = SSD를 위한 서브 페이지 기반 플래시 변환 기법link

Kang, Mincheol; 강민철; et al, 한국과학기술원, 2016

1278
Superquadric을 이용한 3차원 물체의 표현과 인식 = 3D object representation and recognition using superquadricslink

황삼청; Hwang, Sam-Chung; et al, 한국과학기술원, 1990

1279
Sybil tolerant consensus algorithm using mutual proof of validation = 상호 검증 증명을 이용한 시빌 내성 합의 알고리즘link

Shin, Hoon; Han, Dongsoo; et al, 한국과학기술원, 2020

1280
Synchronization of non-manual signals in sign language with sequence prediction = 시퀀스 예측을 통한 수어의 비수지 신호 동기화link

Kim, Jung-Ho; 김정호; et al, 한국과학기술원, 2016

Discover

rss_1.0 rss_2.0 atom_1.0