| 421 | Characterization of shared files in peer-to-peer network : lifetime, incompleteness, and pollution = P2P 네트워크에서 파일의 유효성, 불완전성, 훼손성에 대한 분석link Lee, Seung-Jun; 이승준; et al, 한국과학기술원, 2005 |
| 422 | Checking feasibility of worst-case execution time derived by implicit-path enumeration technique = Implicit path enumeration 기법으로 도출한 최장수행시간의 실행가능성 검사link Park, Su-Hyun; 박수현; et al, 한국과학기술원, 2005 |
| 423 | Checkpoint-recovery mechanism using re-/de-virtualization in bare-metal systems = 재가상화, 탈가상화를 이용한 베어메탈 시스템에서의 체크포인트-회복 기법link Im, Jaeseong; 임재성; et al, 한국과학기술원, 2016 |
| 424 | Circuit extraction from MOS/LSI mask pattern geometry = 마스크 패턴으로부터 회로 추출link Yi, Il-Su; 이일수; et al, 한국과학기술원, 1985 |
| 425 | CISS : an efficient object clustering framework for DHT-based peer-to-peer applications = DHT 기반의 피어-투-피어 응용 프로그램을 위한 효율적인 객체 클러스터링 프레임워크link Lee, Hyon-Ik; 이현익; et al, 한국과학기술원, 2005 |
| 426 | Classifying travel-related intents in textual data using recurrent neural networks = 순환 신경망을 활용한 문서 내 여행 목적 분류 연구link Kim, Zae Myung; Choi, Ho-Jin; et al, 한국과학기술원, 2016 |
| 427 | Classifying vocalization from parent-child conversations with a single sensor = 단일 측정기를 통한 모자 음성 분류link Jung, Kihoon; Kim, Dong Jun; et al, 한국과학기술원, 2018 |
| 428 | Clinical risk prediction with temporal probabilistic asymmetric multi-task learning = 확률, 시간적 다중 태스크 학습을 이용한 임상적 위험 상황 예측link Jeong, Hyewon; Hwang, Sung Ju; et al, 한국과학기술원, 2021 |
| 429 | Cloning facial expressions with user-defined example models = 예제 표정에 기반한 얼굴 표정 애니메이션의 복제link Kim, Ye-Jin; 김예진; et al, 한국과학기술원, 2003 |
| 430 | CLOS 브라우져 시스템의 설계 및 구현 = Design and implementation of CLOS browser systemlink 서정현; Suh, Jung-Hyun; 김진현; 양현승; et al, 한국과학기술원, 1991 |
| 431 | Cloud RRT*: sampling cloud based RRT* = 샘플링 구름 기반의 RRT*link Kim, Dong-Hyuk; 김동혁; et al, 한국과학기술원, 2014 |
| 432 | Coarse-to-fine clothing image generation with progressively constructed conditional GAN = 점진적으로 구축된 조건부 적대적 생성 네트워크를 이용한 멀티 스케일 의류 이미지 생성link Kwon, Youngki; Yoon, Sung-eui; et al, 한국과학기술원, 2018 |
| 433 | Code-based question answering model and training dataset for programming education = 프로그래밍 교육을 위한 코드 기반 질의응답 모델 및 학습 데이터셋link Lee, Changyoon; Oh, Alice; et al, 한국과학기술원, 2021 |
| 434 | Collaborative editing of JSON objects based on operational transformation = Operational Transformation에 기반한 JSON 객체의 협업 편집 기법link Braunlich, Ronny; Bae, Doo Hwan; et al, 한국과학기술원, 2017 |
| 435 | Color generation for paragraph level of text = 텍스트 문단 단위의 색상 생성link Kim, Jiseon; Oh, Alice; et al, 한국과학기술원, 2019 |
| 436 | Coloured petri nets을 이용하는 안전성 분석 = Safety analysis using coloured petri netslink 조승모; Cho, Seung-Mo; et al, 한국과학기술원, 1996 |
| 437 | Combination-based multivariate time-series clustering for collision analysis of platooning system of systems = 차량 군집 주행 시스템 오브 시스템즈의 충돌 분석을 위한 조합 기반 다변수 시계열 데이터 군집화link Kim, Hansu; Bae, Doohwan; et al, 한국과학기술원, 2023 |
| 438 | Common LISP에서의 foreign language interface의 구현 = An implementation of foreign language interface om common LISPlink 오용서; Oh, Yong-Seo; et al, 한국과학기술원, 1989 |
| 439 | Common LISP의 확장 개념으로서 rule-based system의 통합 = An integration of rule-based system as an extension of common LISPlink 임선배; Lim, Sun-Bae; et al, 한국과학기술원, 1989 |
| 440 | Communication relay system and user interface for sharing real-time information inside ships = 선박 내부 실시간 정보 공유를 위한 통신 중계 시스템 및 사용자 인터페이스 연구link Kim, Seungwoon; Jo, Sungho; et al, 한국과학기술원, 2019 |
| 441 | Community life-cycle management framework based on a community maturity model for sustainable web communities = 지속 가능한 웹 커뮤니티를 위한 커뮤니티 성숙 모델 기반 커뮤니티 라이프사이클 관리 프레임워크link Choi, Sang-Ho; 최상호; et al, 한국과학기술원, 2010 |
| 442 | Comparing community identification algorithms in online social networks = 온라인 소셜 네트워크에서 커뮤니티를 찾는 알고리즘 간의 비교 연구link Choi, Yoon-Chan; 최윤찬; et al, 한국과학기술원, 2009 |
| 443 | Comparison between different features and predictive models to find proteins similar to C-peptide = C-펩타이드 유사 단백질 발견을 위한 이종 특성 및 예측 모델 간의 비교에 관한 연구link Elbashir Mohamed Salah Abbas; Elbashir; et al, 한국과학기술원, 2013 |
| 444 | Compositional bottom-up type inference algorithm using type scheme = 타입스킴을 이용한 합성적인 상향성 타입 유추 알고리즘link Kim, Se-Won; 김세원; et al, 한국과학기술원, 2005 |
| 445 | Computational complexity of linear algebra problems with exponential size and real entries = 실수에서의 지수 크기 선형대수학 문제의 계산 복잡도link Koswara, Ivan Adrian; Ziegler, Martin; et al, 한국과학기술원, 2021 |
| 446 | Computational identification of sequence variation and environmental condition in clinical depression from biomedical literature = 생물학 문헌을 통한 우울증에서의 염기서열 변화와 환경조건 자동 식별link You, Jinseon; 유진선; et al, 한국과학기술원, 2016 |
| 447 | Computer-aided sculpturing based on boolean operations and extended recursive subdivision = 집합연산자와 확장재귀분할에 기반한 컴퓨터를 이용한 조각link 이제희; Lee, Je-Hee; et al, 한국과학기술원, 1995 |
| 448 | Computing a minimum-dilation spanning tree is NP-hard = 최소-Dilation 신장 트리 찾기의 NP-hard 증명link Lee, Mi-Ra; 이미라; Cheong, Otfried; et al, 한국과학기술원, 2007 |
| 449 | Computing direct shadows cast among disjoint convex polyhedra = 볼록 다면체로 구성된 광원과 물체간에 형성되는 그림자 영역의 경계선 계산link Jang, Jeong-Hwan; 장정환; et al, 한국과학기술원, 2011 |
| 450 | Computing direct shadows cast among disjoint convex polyhedra = 볼록 다면체로 구성된 광원과 물체간에 형성되는 그림자 영역의 경계선 계산link Jang, Jeong-Hwan; 장정환; et al, 한국과학기술원, 2011 |
| 451 | Computing distributional semantics of genes using graph = 그래프 구조를 활용한 유전자의 분포 의미 파악link Park, Jimin; Park, Jong C.; et al, 한국과학기술원, 2017 |
| 452 | Computing haar integrals = 하 적분의 계산link Seon, Dongseong; Ziegler, Martin; et al, 한국과학기술원, 2019 |
| 453 | Computing interdisciplinarity of scholarly objects using an author-citation-text model with a new measure = 저자.인용.텍스트 모델과 새로운 지수를 이용한 학술 개체의 융합도 측정link Seo, Min-Gwan; Myaeng, Sung-Hyon; et al, 한국과학기술원, 2017 |
| 454 | Computing periods = 피리어드의 계산link Cho, Junhee; Ziegler, Martin; et al, 한국과학기술원, 2018 |
| 455 | Concolic 테스팅을 위한 테스트 커버리지 향상 가이드라인 및 산업체 사례 연구 = Concolic testing guidelines for test coverage improvement : an industrial case studylink 김현우; 김문주; et al, 한국과학기술원, 2018 |
| 456 | Concurrency bug detection through improved pattern matching using semantic information = 시맨틱 정보를 이용한 패턴 매칭을 통한 동시성 결함 검출link Hong, Shin; 홍신; et al, 한국과학기술원, 2010 |
| 457 | Concurrent C++에서의 process 기술 방법에 관한 연구 = A study on the method for describing process in concurrent C++link 위의석; Wi, Eui-Seok; et al, 한국과학기술원, 1990 |
| 458 | Confidence-based robot navigation under sensor occlusion with deep reinforcement learning = 심층 강화학습을 활용한 센서 폐색 하에서의 신뢰 기반 로봇 주행 기법link Ryu, Hyeongyeol; Yoon, Sung-Eui; et al, 한국과학기술원, 2022 |
| 459 | Conflict tracing in LALR(1) analysis = LALR(1)분석에서의 conflict의 추적link Park, Kwang-Soon; 박광순; et al, 한국과학기술원, 1989 |
| 460 | Connected line drawing extraction from a polyhedral image = 다면체 영상으로부터 연결된 선형 도면의 추출link Kim, In-Gyu; 김인규; et al, 한국과학기술원, 1991 |
| 461 | Consistency checking between Models in object-oriented analysis = 객체 지향 분석 모형간의 일관성 진단link Chun, Wang-Sung; 천왕성; et al, 한국과학기술원, 1997 |
| 462 | Constrained bayesian reinforcement learning via approximate linear programming = 근사 선형계획법을 이용한 제약을 갖는 베이지안 강화학습link Lee, Jongmin; Kim, Kee-Eung; et al, 한국과학기술원, 2017 |
| 463 | Constraints-based testing for systems specified with statecharts = Statecharts 명세를 가지는 시스템에 대한 제약 조건 기반 테스팅link Seo, Heui-Seok; 서희석; et al, 한국과학기술원, 2000 |
| 464 | Constructing mobile autonomous agent with human-like app memory using LLM as a proactive task demonstrator = LLM을 이용한 인간과 유사한 메모리를 가진 모바일 자율 에이전트 구축link Choi, Junyoung; 최준영; et al, 한국과학기술원, 2024 |
| 465 | Construction of a dialogue generation model based on persuasion strategies = 설득 전략을 활용한 대화 생성 모델 구축link Ji, Junseop; Park, Jong Cheol; et al, 한국과학기술원, 2021 |
| 466 | Construction of integrated testing tools using attribute grammar = Attribute grammar 를 이용한 종합적인 테스팅 도구 구성에 관한 연구link Choi, Eun-Man; 최은만; et al, 한국과학기술원, 1985 |
| 467 | Content-based recommender systems = 내용 기반 추천인 시스템link Larsen, John Bruntse; Larsen, John Bruntse; Choi, Key-Sun; 최기선; et al, 한국과학기술원, 2013 |
| 468 | Context-aware resource allocation for mobile edge cloud = 모바일 엣지 클라우드를 위한 상황 인지 리소스 할당 기법link Choi, Hayoung; Lee, Dongman; et al, 한국과학기술원, 2018 |
| 469 | Context-sensitive term rewriting system for detecting missing sequence points in C expressions = 시퀀스 포인트가 누락된 C 언어 수식 탐지를 위한 항 개서 시스템link Cho, Jun-Hee; 조준희; et al, 한국과학기술원, 2011 |
| 470 | Context-sensitive term rewriting system for detecting missing sequence points in C expressions = 시퀀스 포인트가 누락된 C 언어 수식 탐지를 위한 항 개서 시스템link Cho, Jun-Hee; 조준희; et al, 한국과학기술원, 2011 |
| 471 | Contextual relationship-based activity segmentation on an event stream in the IoT environment with multi-user activities = 다중 사용자 IoT 환경에서의 이벤트 스트림에 대한 문맥적 관계 기반 액티비티 분할 기법link Cho, Minkyoung; Lee, Younghee; et al, 한국과학기술원, 2017 |
| 472 | Contrastive learning for knowledge distillation-based anomaly detection = 지식 증류 기반 이상 탐지를 위한 대조 학습link Park, Hangil; Kim, Taekyun; et al, 한국과학기술원, 2023 |
| 473 | Control flow graph상의 USE 집합을 중심으로 하여 live variable analysis를 수행하는 비반복적 알고리즘 = A non-iterative algorithm for live variable analysis based on use set of control flow graphlink 윤정한; Yun, Jeong-Han; et al, 한국과학기술원, 2003 |
| 474 | Controlled dropout : a dropout method for improving training speed on deep neural network = 제어된 드롭아웃 : 심층 신경망에서 학습 속도 향상을 위한 드롭아웃 방법link Ko, ByungSoo; Choi, Ho-Jin; et al, 한국과학기술원, 2018 |
| 475 | Controlling inferences by character modeling in story understanding = 스토리 이해에서 인물모델링을 이용한 추론제어link Lee, Joong-Moo; 이중무; et al, 한국과학기술원, 1986 |
| 476 | Controlling unwanted alarm sound with smartphones = 스마트폰을 이용한 원하지 않는 알람 소리 제어link Gong, Tae Sik; Lee, Sung Ju; et al, 한국과학기술원, 2017 |
| 477 | Convolutional autoencoder for saliency dectection : enforcing sharp boundary using edge contrast penalty = 선명한 saliency map을 생성하기 위한 에지 대비 패널티 기반의 컨벌루션 오토인코더link Arthur, Meyer; Yang, Hyun Seung; et al, 한국과학기술원, 2017 |
| 478 | Convolutional recurrent neural networks for first-person action recognition = 일인칭 행동 인식을 위한 컨볼루션 순환 신경망 연구link Bae, Byeong-Uk; Jo, Sungho; et al, 한국과학기술원, 2017 |
| 479 | Correlation-based real-time group activity segmentation using motion sensors = 모션 센서를 활용한 상관관계 기반 실시간 그룹 행동 분할 기법link Kim, Kisoo; Lee, Dongman; et al, 한국과학기술원, 2022 |
| 480 | COSMOS/MT: 객체 저장 시스템 COSMOS를 위한 멀티프로세스/멀티쓰레드 모델의 설계 및 구현 = Design and implementation of a multi-process/multi-thread model for the COSMOS object strorage systemlink 김이른; Kim, Yi-Reun; et al, 한국과학기술원, 2001 |
