421 | Extraction of problem description from sample program for knowledge-based programming tutoring = 지식기반형 프로그램 교사시스템을 위한 예시 프로그램으로부터의 문제정의 추출link Hahn, Sun-Hwa; 한선화; et al, 한국과학기술원, 1997 |
422 | Face recognition technology robust to pose variation and partial occlusion = 포즈 변화 및 부분적 가림 현상에 강인한 얼굴 인식 기법link Han, ByungOk; 한병옥; et al, 한국과학기술원, 2016 |
423 | Fact checking in knowledge graphs by logical consistency = 논리적 일관성을 이용한 지식그래프에서의 사실 검증link Kim, Ji-Seong; Choi, Key-Sun; et al, 한국과학기술원, 2021 |
424 | Fair scheduling algorithms for QoS guarantees in high-speed networks = 고속 통신망에서 서비스 품질 보장을 위한 공정 스케줄링 알고리즘link Cho, Ki-Ho; 조기호; et al, 한국과학기술원, 1999 |
425 | Fake consensus in online news comment section = 온라인 뉴스 댓글란에서의 가짜 여론link Jeong, Jiwan; Moon, Sue; 문수복; Cha, Meeyoung; et al, 한국과학기술원, 2021 |
426 | Fast and accurate target object silhouette extraction for highly-immersive augmented virtuality = 몰입감이 높은 증강 가상을 위한 빠르고 정확한 대상 객체 실루엣 추출 기법link Choi, Yeong Jae; 최영재; et al, 한국과학기술원, 2016 |
427 | Fast collision detection among multiple moving spheres = 움직이는 많은 구들 사이의 빠른 충돌검사link Kim, Dong-Jin; 김동진; et al, 한국과학기술원, 1999 |
428 | Fast exponentiationaAlgorithms using bah and multi-exponentiation techniques = 암호학적 일괄 및 다중 연산 기법을 이용한 멱승 연산의 고속화에 관한 연구link Chung, Byung-Chun; 정병천; et al, 한국과학기술원, 2007 |
429 | Fault tolerant wormhole routing based on solid fault model in mesh network = 메쉬 연결망에서의 솔리드 고장 모델에 기반한 고장 허용 웜홀 라우팅link Kim, Sung-Pyo; 김성표; et al, 한국과학기술원, 1998 |
430 | Fault-based distributed recovery block (FDRB) for switching systems = 교환시스템을 위한 결함 기반의 분산 복구 블록link Lee, Byung-Sun; 이병선; et al, 한국과학기술원, 2003 |
431 | Fault-tolerant real-time scheduling and its applications to multimedia computing = 고장허용 실시간 스케쥴링과 멀티미디어 컴퓨팅에의 응용link Eun, Seong-Bae; 은성배; Maeng, Seung-Ryoul; Cho, Jung-Wan; et al, 한국과학기술원, 1995 |
432 | Feature tracking from multiple views using the split and merge method = 분리-병합 방법을 사용한 다중 카메라에서 특징 점 추적 알고리즘link Park, Eun-Kwang; 박은광; et al, 한국과학기술원, 2001 |
433 | FETE(A front end text editor) = 구문법을 지닌 문장을 편집하는 시스템에 관한 연구link Lee, Hong-Kyu; 이홍규; et al, 한국과학기술원, 1984 |
434 | Filtering query XPath expressions for efficient access control = XML 문서의 효과적인 접근제어를 위한 XPath 질의 필터링link Jeon, Jae-Myeong; 전재명; et al, 한국과학기술원, 2005 |
435 | Finding and diagnosing concurrency bugs in a kernel through systematic instruction scheduling = 체계적인 명령어 스케줄링을 통한 커널 동시성 버그 탐지 및 진단 기법link Jeong, Daelyong; Shin, Insik; et al, 한국과학기술원, 2023 |
436 | Finger motion gesture recognition system as a new human computer interface = 새로운 인간 컴퓨터 인터페이스로서의 손가락 움직임 제스처 인식 시스템link Ko, Byong-Ki; 고병기; et al, 한국과학기술원, 1997 |
437 | Forensic tracking watermarking for digital cinema = 디지털 시네마 보호를 위한 포렌식 트래킹 워터마킹link Lee, Min-Jeong; 이민정; et al, 한국과학기술원, 2011 |
438 | Forgery detection for surveillance video based on sensor pattern noise = 센서 패턴 노이즈의 기반 감시 영상 조작 검출 기술link Hyun, Dai Kyung; 현대경; et al, 한국과학기술원, 2015 |
439 | Formal analysis framework for lossy interface adapter chaining = 손실이 있는 인터페이스 어댑터 체인의 수학적 분석link Chung, Yoo- Chul; 정유철; et al, 한국과학기술원, 2010 |
440 | Formal analysis of efficient multicast in IP networks = 인터넷에서의 효율적인 멀티캐스트에 관한 연구link Kim, Chang-Han; 김창한; et al, 한국과학기술원, 2007 |
441 | Frame-rate conversion detection based on convolutional neural network for learning spatiotemporal features = 시공간 특징 학습을 위한 합성곱 신경망 기반의 프레임율 변환 탐지link Yoon, Minseok; Lee, Heung-Kyu; et al, 한국과학기술원, 2021 |
442 | Framework for integrating statistical and structural methods for on-line handwriting recognition = 온라인 문자 인식을 위한 통계적 방법과 구조적 방법의 결합link Kwon, Jae-Ook; 권재욱; et al, 한국과학기술원, 1996 |
443 | Freshness-based edge-write architecture for data replication over the internet = 인터넷 상에서 효율적인 데이터 복제를 위한 에지-쓰기 아키텍처와 신선도 기반의 읽기 완화 기법link Kim, Ho-Joong; 김호중; et al, 한국과학기술원, 2010 |
444 | Fully complex deep learning classifiers for automatic modulation recognition in non-cooperative environment = 비협조적 환경에서의 자동 변조 인식용 복소수 딥러닝 분류기link Kim, Sangkyu; Kim, Daeyoung; et al, 한국과학기술원, 2023 |
445 | Fusion of estimates from multiple Kalman filters = 다중 칼만필터의 추정자료 융합link Cho, Yong-Gun; 조용건; et al, 한국과학기술원, 1998 |
446 | Fusion of the magnetic and optical sensor information for motion capturing = 모션캡쳐를 위한 자기식 센서와 광학식 마커의 혼용link Park, Chan-Jong; 박찬종; et al, 한국과학기술원, 2007 |
447 | Fuzzy cluster analysis and validation scheme : application to image segmentation = 퍼지 클러스터 분석 및 검증 기법의 개발 : 영상 분할에의 적용link Kim, Dae-Won; 김대원; et al, 한국과학기술원, 2004 |
448 | Fuzzy linear temporal logic and fuzzy branching temporal logic = 퍼지 선형 시제논리 및 퍼지 분기 시제논리link Moon, Seong-Ick; 문성익; et al, 한국과학기술원, 2004 |
449 | Fuzzy visibility problems in computational geometry = 계산기하학에서의 퍼지 가시성 문제link Seong, Kyoung-A; 성경아; et al, 한국과학기술원, 1995 |
450 | General schemes for unit quaternion curve construction = 단위 쿼터니언 곡선의 일반적인 생성법link Kim, Myoung-Jun; 김명준; et al, 한국과학기술원, 1996 |
451 | Generalized classes of rearrangeable multistage interconnection networks = 재설정가능 다단계상호연결망의 일반화에 관한 연구link Kim, Myung-Kyun; 김명균; et al, 한국과학기술원, 1996 |
452 | Generating error-revealing inputs with new static analysis warnings = 새로운 정적 분석 경고를 통한 오류 입력 값 생성link Cheung, Wai Ting; Kim, Sunghun; 김성훈; Ryu, Suk Young; et al, 한국과학기술원, 2018 |
453 | Generating minimal equivalent grammars for deterministic LR parsers of non-LR grammars = LR이 아닌 문법의 결정적 LR 파서에 대한 최소 동치 문법의 생성link Lee, Eun-Jung; 이은정; et al, 한국과학기술원, 1994 |
454 | Generation of voice from conceptual representation : syntactic,semantic, and pragmatic aspects = 개념표현으로부터 태의 생성 : 통사, 의미, 화용론적 측면link Lee, Jong-Hyeok; 이종혁; et al, 한국과학기술원, 1988 |
455 | Geometric matching problems = 기하학적 매칭에 관한 연구link Yon, Juyoung; 연주영; et al, 한국과학기술원, 2015 |
456 | Graph embedding into recursively-structured graphs and hypermeshes = 재귀구조 그래프들과 하이퍼메쉬들에 대한 그래프 임베딩link Kim, Sook-Yeon; 김숙연; et al, 한국과학기술원, 1998 |
457 | Graph-based subcube allocation and task migration schemes for hypercube systems = 하이퍼큐브 시스템에서 그래프에 기초한 서브큐브 할당과 타스크 재배치에 관한 연구link Kang, Oh-Han; 강오한; et al, 한국과학기술원, 1992 |
458 | Graph-based supplementary patch recommendation and software reliability prediction by mining software repositories = 소프트웨어 저장소 마이닝을 통한 그래프 기반 부가적인 수정 추천 및 소프트웨어 신뢰성 예측link Park, Jihun; 박지훈; et al, 한국과학기술원, 2016 |
459 | Group divisible partially balanced incomplete block design based incidence matrices construction algorithms for digital contents protection = 디지털 콘텐츠 보호를 위한 그룹 분할 부분 균형 불완전 블록 디자인 입사행렬 생성 방법link Kang, In-Koo; 강인구; et al, 한국과학기술원, 2007 |
460 | Group recommendations for seen and unseen groups with inductive learning and deep probabilistic models = 귀납적 학습과 심층 확률 모델을 사용한 기존 및 신규 그룹에 대한 그룹 추천link Lee, Kwang Hee; Kim, Myoung Ho; et al, 한국과학기술원, 2023 |
461 | Group-aware performance-fair scheduler for uneven many cores = 비대칭 코어를 가진 시스템을 위한 그룹 간의 성능 기반 공평성을 제공하는 스케줄링 기법 연구link Kim, Changdae; 김창대; et al, 한국과학기술원, 2017 |
462 | Group-to-group collision avoidance and social group movements in a virtual environment = 가상환경 내의 집단 간 충돌 회피 및 군중 행동 제어 기법link Rojas, Francisco Arturo; F. Rojas; et al, 한국과학기술원, 2015 |
463 | GUI-based software module clustering through dynamic analysis = 동적 분석을 통한 GUI 기반 소프트웨어 모듈 클러스터링 연구link Hwa, Jimin; 화지민; et al, 한국과학기술원, 2017 |
464 | Handwritten chinese character recognition using statistical structure modeling and stroke weighting = 통계적 문자 구조 모델링과 획 가중치 지정을 이용한 필기 한자 인식link Kim, In-Jung; 김인중; et al, 한국과학기술원, 2001 |
465 | Hangul keyword spotting using dynamically synthesized pseudo 2D hidden markov models = 실시간 합성 의사 2차원 은닉 마르코프 모델을 이용한 한글 핵심어 검출link Cho, Beom-Joon; 조범준; et al, 한국과학기술원, 2004 |
466 | Hardware support for secure virtualization under a vulnerable hypervisor = 하드웨어 지원을 통한 보안성이 강화된 가상화 기법 연구link Jin, Seongwook; 진성욱; et al, 한국과학기술원, 2015 |
467 | Hardware support for transactions in persistent memory = 비휘발성 메모리에서 트랜잭션을 제공하기 위한 하드웨어 지원 기법 연구link Jeong, Jungi; Maeng, Seungryoul; et al, 한국과학기술원, 2020 |
468 | Heuristic algorithms for standard cell placement in VLSI design = 집적회로 설계시에 표준셀 배치문제를 위한 휴리스틱 알고리즘에 관한 연구link Cho, Hwan-Gue; 조환규; et al, 한국과학기술원, 1989 |
469 | Hierarchical hangul character recognition with stochastic relationship modeling and candidate pruning = 확률적 관계 모델링과 후보제거 기법을 이용한 계층적 한글 문자 인식link Kang, Kyung-Won; 강경원; et al, 한국과학기술원, 2003 |
470 | Hierarchical object-oriented Petri net for scenario-based functional behaviors modeling = 시나리오 기반의 기능적 행위 모델링을 위한 계층 구조의 객체지향 페트리 넷link Hong, Jang-Eui; 홍장의; et al, 한국과학기술원, 2001 |
471 | Hierarchical soft clustering tree for fast matching of binary codes = 이진코드의 고속 검색을 위한 계층적 중복 군집 트리link Choi, Su Gil; Hyun Seung Yang; et al, 한국과학기술원, 2018 |
472 | High performance storage system based on nand flash memory = NAND 플래시 메모리 기반의 고성능 저장 장치link Kang, Jeong-Uk; 강정욱; et al, 한국과학기술원, 2007 |
473 | High precision indoor positioning using geomagnetic anomaly = 지자기 이상 특성을 이용한 고정밀 실내 측위 기술link Lee, Sangjae; Han, Dongsoo; et al, 한국과학기술원, 2021 |
474 | High-performance and reliable architecture synthesis problems in system-on-chip design = 시스템 온 칩 설계에서의 고속 및 신뢰성 있는 아키텍쳐 합성link Um, Jun-Hyung; 엄준형; et al, 한국과학기술원, 2003 |
475 | High-performance solid state drives design by exploiting partial page requests = 부분 페이지 요청을 활용한 고성능 SSD 설계 기법link Kang, Mincheol; Kim, Soontae; et al, 한국과학기술원, 2022 |
476 | High-throughput system design with memory networks = 메모리 네트워크에 기반한 대용량 계산 시스템 설계에 관한 연구link Kim, Gwangsun; Kim, John Dongjun; et al, 한국과학기술원, 2016 |
477 | Histogram diffusion and its application to color histogram equalization = 히스토그램 확산과 컬러 히스토그램 평활화로의 응용link Kim, Tae-Min; Yang, Hyun-S.; et al, 한국과학기술원, 2007 |
478 | Home-based cooperative cache and RW-phase protocol for cluster file systems = 클러스터 파일 시스템들을 위한 홈 기반 상호 협력 캐쉬와 읽기/쓰기 단계 프로토콜link Hwang, In-Chul; 황인철; Maeng, Seung-Ryoul; Cho, Jung-Wan; et al, 한국과학기술원, 2006 |
479 | Horizontal and vertical scaling frameworks for network function virtualization = 네트워크 기능 가상화의 수평적 수직적 성능 확장성을 지원하기 위한 프레임워크들에 관한 연구link Woo, Shinae; Moon, Sue Bok; et al, 한국과학기술원, 2017 |
480 | Human and humanoid robot interaction based on wearable telepresence system and affective communication model = 착용형 원격현실감 시스템과 감성 대화 모델에 기반한 인간과 휴머노이드로봇의 상호작용link Seo, Yong-Ho; 서용호; et al, 한국과학기술원, 2007 |