DSpace at KOASAS
Browsing DSpace

Browse "CS-Theses_Ph.D.(박사논문) " 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 241 to 260 of 932

241
Combining weak and strong mutation for Non-Interpretive java mutation system = 강/약 뮤테이션의 결합을 이용한 자바 프로그램 대상의 비해석 방식 뮤테이션 시스템link

Kim, Sang-Woon; 김상운; et al, 한국과학기술원, 2011

242
Comparison, ranking and determination of the ranks of fuzzy numbers based on a satisfaction function = 만족함수를 이용한 퍼지숫자의 비교, 정렬 및 순위결정link

Lee, Jee-Hyong; 이지형; et al, 한국과학기술원, 1999

243
Competitive analysis in deadline scheduling and broadcasting = 마감시간 스케줄링과 브로드캐스팅에서의 컴페티티브 분석link

Kim, Jae-Hoon; 김재훈; et al, 한국과학기술원, 2003

244
Compiling high-level specifications of program analyses = 프로그램 분석 명세의 컴파일link

Eo, Hyun-Jun; 어현준; et al, 한국과학기술원, 2006

245
Complete visibility in the 3D space and its related problems = 삼차원 완전가시성과 그 관련 문제link

Yoo, Kwan-Hee; 유관희; et al, 한국과학기술원, 1995

246
Compliance-driven cybersecurity based on formalized attack pattern for NPPs = 원자력 발전소 제어 시스템을 위한 정형화된 공격 패턴 기반의 사이버보안 규제 대응 방안link

Lee, Minsoo; Yoon, Hyunsoo; et al, 한국과학기술원, 2020

247
Composing static analyzers for bug and security vulnerability detection in multilingual android applications = 정적 분석기들의 결합을 통한 다양한 언어로 개발된 안드로이드 앱의 결함 및 보안 취약성 검출link

이성호; Ryu, Sukyoung; et al, 한국과학기술원, 2020

248
Computational imaging with light waves = 광파 특성을 이용한 계산 영상학link

Baek, Seung-Hwan; Kim, Min Hyuk; et al, 한국과학기술원, 2019

249
Concept analysis techniques for software modularization = 소프트웨어 모듈화를 위한 개념 분석 기법link

Kim, Hyung-Ho; 김형호; et al, 한국과학기술원, 2008

250
Conceptual framework and extensible modeling method supporting ontology-based scenario specification = 온톨로지 기반의 시나리오 명세를 지원하는 개념 프레임워크와 확장 가능 모델링 기법link

Baek, Young-Min; Bae, Doo-Hwan; et al, 한국과학기술원, 2023

251
Concurrency control and recovery in multidatabase systems = 복수데이타베이스 시스템에서의 동시성 제어 및 회복link

Kim, Pyung-Chul; 김평철; et al, 한국과학기술원, 1994

252
Concurrency control for long-lived transactions in collaborative design applications = 상호 협조적인 설계 작업에서 장기 거래를 위한 동시성 제어link

Cho, Haeng-Rae; 조행래; et al, 한국과학기술원, 1995

253
Conformance analysis for context-free languages using abstract interpretation = 요약 해석을 이용한 문맥자유 언어 부합 분석link

Kim, Se-Won; 김세원; Choe, Kwang-Moo; 최광무; et al, 한국과학기술원, 2011

254
Constraint-based human resource allocation in software projects = 소프트웨어 프로젝트에서의 제약사항 기반의 인력 할당 방안에 대한 연구link

Kang, Dong-Won; 강동원; et al, 한국과학기술원, 2011

255
Context dependent search in interconnected hidden Markov models for unconstrained handwriting recognition = 상호 연결된 은닉 마르코프 모델을 이용한 무제약 온라인 필기 인식에서 문맥 정보를 사용한 탐색 방법link

Oh, Se-Chang; 오세창; et al, 한국과학기술원, 1997

256
Context mining-based fault analysis of collaboration failures in cyber-physical system-of-systems = 사이버 물리 시스템 오브 시스템즈의 협력 실패 분석을 위한 컨텍스트 마이닝 기반 오류 분석 기법link

Hyun, Sangwon; Bae, Doo-Hwan; et al, 한국과학기술원, 2023

257
Context monitoring framework for sensor-rich mobile environments = 센서가 많은 이동 컴퓨팅 환경을 위한 상황 정보 모니터링 프레임워크link

Kang, Seung-Woo; 강승우; et al, 한국과학기술원, 2010

258
Context-aware service infrastructure supporting ontology-based service model = 온톨로지기반 서비스 모델을 지원하는 컨텍스트 인식 서비스 하부구조link

Ha, Young-Guk; 하영국; Yoon, Hyun-Soo; Cho, Jung-Wan; et al, 한국과학기술원, 2006

259
Continuous abstract data types for verified computation = 검증된 계산을 위한 연속적 추상형 자료형link

Park, Sewon; Ziegler, Martin; et al, 한국과학기술원, 2021

260
Continuous speech recognition systems based on non-uniform unit neural network and a fuzzy expert system = 불균일 단위 신경회로망과 퍼지전문가 시스템에 기반한 연속음성인식 시스템link

Yu, Ha-Jin; 유하진; et al, 한국과학기술원, 1997

Discover

rss_1.0 rss_2.0 atom_1.0