Browse "School of Computing(전산학부)" by Type Thesis(Ph.D)

Showing results 781 to 800 of 943

781
Specification and analysis of timing requirements in CBD approach using modular petri nets = 컴포넌트 기반 개발 방법론에서의 modular petri nets 를 이용한 시간 제약 사항의 명세 및 분석link

Lee, Ho-Kyoung; 이호경; et al, 한국과학기술원, 2007

782
Specification-based testing of java multithreaded programs utilizing equivalence relation on test sequences = 시험 시퀀스들의 동치 관계를 이용한 자바 다중스레드 프로그램의 명세 기반 시험기법link

Seo, Heui-Seok; 서희석; et al, 한국과학기술원, 2007

783
Speculative branch dolding for low energy embedded processors = 저전력 내장형 프로세서를 위한 Speculative branch foldinglink

Park, Sang-Hyun; 박상현; et al, 한국과학기술원, 2005

784
Speech emotion recognition in noisy environments using adaptive comb filtering and feature vector classification = 적응 콤 필터링과 특징 벡터 분류 기법을 이용한 잡음 환경에서의 음성 감정 인식link

Park, Jeong-Sik; 박정식; et al, 한국과학기술원, 2010

785
Speech synthesis and speaker modification based on two-band speech model = 2대역 음성모델에 기반한 음성합성 및 화자변환link

Kim, Eun-Kyoung; 김은경; et al, 한국과학기술원, 2003

786
SPODoM: search-based parameter optimization framework on just-in-time software defect prediction model = 검색 기반 just-in-time 소프트웨어 결함 예측 모델 파라미터 최적화 프레임워크link

Kang, Jonggu; Baik, Jongmoon; et al, 한국과학기술원, 2022

787
Spontaneous interaction network architecture = 즉각적 인터랙션 네트워크 아키텍처link

Ko, Yang-Woo; 고양우; et al, 한국과학기술원, 2010

788
Static and dynamic combined analysis for bug detection of web apps = 웹 앱 결함 검출을 위한 정적 동적 혼합 분석link

Park, Joonyoung; Ryu, Sukyoung; et al, 한국과학기술원, 2022

789
Statistical program dependence approximation = 통계적 프로그램 의존성 분석link

Lee, Seongmin; Yoo, Shin; et al, 한국과학기술원, 2022

790
Stochastic modeling of Korean language for Open-vocabulary handwritten Hangul recognition = 개방 어휘 환경에서의 필기체 한글 인식을 위한 한국어의 통계적 모델링link

Ryu, Sung-Ho; 류성호; et al, 한국과학기술원, 2005

791
Storage management for vector/raster data in spatial database systems = 공간 데이타베이스 시스템에서 벡터/래스터 데이타를 위한 저장 관리link

Hwang, Byung-Yeon; 황병연; et al, 한국과학기술원, 1994

792
Storage management using multi-attribute indexing scheme in database management systems = 데이타베이스 관리 시스템에서 다중-속성 색인 기법을 이용한 저장 관리link

Kim, Byung-Wook; 김병욱; et al, 한국과학기술원, 1996

793
Storage sharing in closed P2P system = 폐쇄형 P2P 시스템에서의 저장 공간 공유link

Oh, Seung-Taek; 오승택; et al, 한국과학기술원, 2007

794
Structural analysis of regular textures using symmetry groups = 대칭그룹을 이용한 반복텍스츄어의 구조 분석link

Oh, Gyu-Hwan; 오규환; et al, 한국과학기술원, 1998

795
Study on detecting subtle signals in images using deep neural networks = 이미지의 미세 신호 탐지를 위한 딥러닝 기반 기술link

Ahn, Wonhyuk; Lee, Heung-Kyu; 이흥규; Choi, Sunghee; et al, 한국과학기술원, 2021

796
Study on fast computation of cryptographic computations : elliptic curve operations and server-aided secret computations = 암호학적 연산의 빠른 계산을 위한 연구 : 타원곡선 연산 및 서버의 도움을 받는 비밀 계산link

Hong, Seong-Min; 홍성민; et al, 한국과학기술원, 2000

797
Study on quantum circuit optimization of standard block ciphers = 표준 블록 암호에 대한 양자 회로 구현 최적화 연구link

Chung, Doyoung; Lee, Jooyoung; et al, 한국과학기술원, 2023

798
Study on secure and efficient management of outsourced data in cloud storage = 클라우드 스토리지의 안전성 및 효율성 향상을 위한 암호화된 데이터 검색 및 중복 제거에 대한 연구link

Koo, Dongyoung; 구동영; et al, 한국과학기술원, 2016

799
Support vector based classification for bio-data mining = 바이오 데이터 마이닝을 위한 서포트 벡터 기반 분류link

Lee, Ki-Young; 이기영; et al, 한국과학기술원, 2006

800
Supporting parallelism for Real-Time Multiprocessor Scheduling = 멀티 프로세서 플랫폼에서 실시간 작업의 스케줄링을 위한 동시 실행성 지원link

Lee, Jin-Kyu; 이진규; et al, 한국과학기술원, 2011

rss_1.0 rss_2.0 atom_1.0