| 705 | Factored POMDP를 위한 Symbolic GapMin 알고리즘 = Symbolic GapMin algorithm for factored POMDPslink 이재송; Lee, Jae-Song; et al, 한국과학기술원, 2012 |
| 706 | Fair resource provisioning in asymmetric multi-core processors = 비대칭 멀티코어에서의 공평한 자원 분배에 대한 연구link Kim, Chang-Dae; 김창대; et al, 한국과학기술원, 2012 |
| 707 | Fake review detection: Understanding how deception is expressed in writing = 허위 리뷰 탐지: 작문에 나타나는 거짓의 표현방법에 대한 이해link Lee, Kyungyup Daniel; 이경엽; et al, 한국과학기술원, 2014 |
| 708 | Family-sourcing을 통한 노인-가족 간의 풍부한 대화 지원 서비스 제안 : 가족 구성원의 활발하고 풍부한 소통을 돕기 위한 의사 소통의 구조화 및 대화 컨텐츠 구조화 연구 = Hearth : boosting up family interactions through Family-sourcing for older adult members living apartlink 원대영; 송준화; et al, 한국과학기술원, 2017 |
| 709 | FamilyScope : visualizing social and emotional aspects of family health using passive sensor data = 패밀리스코프: 센서 데이터 기반 사회·감정적 가족 건강 탐색을 위한 시각화 연구link Shin, Youwon; Lee, Uichin; et al, 한국과학기술원, 2023 |
| 710 | Farthest voronoi diagrams for a transportation network on the euclidean plane = 트랜스포테이션 모델에서의 최장 보로노이 다이어그램link Park, Jeong-Hyeon; 박정현; et al, 한국과학기술원, 2007 |
| 711 | Fast gossiping by short messages in rectangular grids = 그리드 구조에서 짧은 메시지를 이용한 빠른 가쉬핑link Lee, Hyun-Seob; 이현섭; et al, 한국과학기술원, 2003 |
| 712 | Fast graph mining with bigtable = Bigtable을 이용한 고속 그래프 마이닝link Lee, Ho; 이호; et al, 한국과학기술원, 2015 |
| 713 | Fast omnidirectional depth densification = 실시간 고해상도 전방향 깊이 정보 생성 기술link Jang, Hyeonjoong; Kim, Min Hyuk; et al, 한국과학기술원, 2019 |
| 714 | FASTCD : Fracturing-aware stable collision detection = 깨짐을 지원하는 안정적 성능의 충돌 검출 방법에 대한 연구link Heo, Jae-Pil; 허재필; et al, 한국과학기술원, 2010 |
| 715 | Fault diagnosis of bit-sliced processor systems = 비트 슬라이스 프로세서의 고장 진단link Kim, Si-Gwan; 김시관; et al, 한국과학기술원, 1984 |
| 716 | Fault diagnosis of bit-sliced processors = Bit-sliced processors 의 고장진단link Park, Young-Gil; 박영길; et al, 한국과학기술원, 1982 |
| 717 | Fault tolerance for slow hopping based cooperative sensing MAC (SHCS-MAC) protocol = Cooperative sensing MAC protocol기반의 slow hopping 네트워크에서의 고장감내 보장link Truong, Le Hoang; Le Hoang; et al, 한국과학기술원, 2015 |
| 718 | FBD 및 LD로 구현된 PLC 프로그램의 Verilog 변환을 통한 정형검증 = Formal verification of PLC programs in FBD and LD via verilog translationlink 김병완; Kim, Byong-Wan; et al, 한국과학기술원, 2009 |
| 719 | Feature re-weighting via relevance feedback and two-sided confindence intervals = 적합성 피드백 및 양측 신뢰구간을 이용한 특성 가중치 조정link Lee, R. Samuel; Chung, Chin-Wan; et al, 한국과학기술원, 2006 |
| 720 | Feature removal of movable objects in visual SLAM = 동적 물체의 특징점 제거를 기반으로 한 visual SLAMlink Park, Junyong; Jo, Sungho; et al, 한국과학기술원, 2020 |
| 721 | Feature vector classification based on likelihood ratio for speaker identification = 우도 비 계산 기반 특징 벡터 선택을 통한 화자 식별link Yoon, Sang-Min; 윤상민; et al, 한국과학기술원, 2008 |
| 722 | Feature-embedding neural processes for missing value prediction = 결측값 예측을 위한 피처-임베딩 뉴럴 프로세스link Kwon, Minsu; Choi, Ho-Jin; et al, 한국과학기술원, 2020 |
| 723 | Feature-preserving high-quality regular remeshing = 특징을 보존하는 고품질 정규 리매싱 기법link Kim, Yun-Hyoung; 김윤형; et al, 한국과학기술원, 2007 |
| 724 | Few-shot 3D point cloud part segmentation via 2D-to-3D task adaptation = 2차원에서 3차원으로의 태스크 적응을 통한 퓨샷 3차원 포인트 클라우드 파트 분할link Kim, Hyunjin; 김현진; et al, 한국과학기술원, 2024 |
| 725 | Few-shot weather-degraded image restoration = 날씨로 인한 저품질 이미지 복원 모델의 퓨샷 적응 기법link Kim, Youngrae; 김영래; et al, 한국과학기술원, 2024 |
| 726 | Filtering of inconsistent software project data for analogy-based effort estimation = 추론 기반의 공수 예측을 위한 일관성 없는 소프트웨어 프로젝트 데이터의 제거link Le Do, Tuan Khanh; 레도, 투안칸; et al, 한국과학기술원, 2010 |
| 727 | Finding a minimum source set on directed hypergraphs = 유향 하이퍼그래프에서 최소 크기의 소스 집합 찾기link Kim, Hyunjun; 김현준; et al, 한국과학기술원, 2015 |
| 728 | Finding a plane subgraph with a certain property in ordered bipartite graphs = 순서화된 이분 그래프에서 평면 부 그래프를 찾는 문제들에 관한 연구link Son, Se-Chang; 손세창; et al, 한국과학기술원, 1990 |
| 729 | Finding the largest inscribed axially symmetric polygon for a convex polygon = 볼록다각형에서 최대의 내접 대칭 다각형 찾기link Choi, Chang-Yul; 최창렬; et al, 한국과학기술원, 2007 |
| 730 | Finding the optimal control points for biharmonic 3D shape deformation = 겹조화 3차원 형상 변형을 위한 최적의 제어점 탐색link Kim, Kunho; 김건호; et al, 한국과학기술원, 2024 |
| 731 | Fishing : minimizing false selections in a dense smart home environment with bidirectional temporal interaction = 밀집된 스마트 홈 환경 내 오입력을 최소화 하는 시계열 기반의 양방향 상호작용 프로토콜link Ham, Auejin; 함어진; et al, 한국과학기술원, 2023 |
| 732 | Fitting a graph to one-dimensional data = 1차원 데이터에 대한 Graph fitting 문제에 대한 연구link Lee, Taegyoung; Cheong, Otfried; 정지원; Yoon, Sung-Eui; et al, 한국과학기술원, 2019 |
| 733 | Flexible allocation of timing constraints for real-time object-oriented software design = 실시간 객체 지향 소프트웨어 설계에서의 융통성 있는 시간 제약의 할당link Choi, Kyung-Hwa; 최경화; et al, 한국과학기술원, 1999 |
| 734 | FlickBoard: A simple split soft keyboard for small touch screens = FlickBoard: 작은 크기의 터치스크린에 적합한 분리 형태의 소프트 키보드link Hong, Jong-Gi; 홍종기; et al, 한국과학기술원, 2014 |
| 735 | FlickWheel: touch sensing flick scrolling with the use experience of ordinary mouse wheels = 플릭휠: 일반 마우스 휠의 사용 경험을 유지한 터치 감지 플릭스크롤link Son, Sunmin; Lee, Geehyuk; et al, 한국과학기술원, 2020 |
| 736 | FODAS : 하부 인터페이스의 설계및 구현 = FODAS : design and implementation of low-level interfacelink 노봉남; No, Bong-Nam; et al, 한국과학기술원, 1982 |
| 737 | FODAS/FDL 의 설계 및 구현 = FODAS/design and implementation of FDLlink 정문열; Chung, Moon-Ryul; et al, 한국과학기술원, 1982 |
| 738 | Formal specification of a JavaScript module system = JavaScript 모듈 시스템의 정형 명세link Kang, Seonghoon; 강성훈; et al, 한국과학기술원, 2012 |
| 739 | Formal verification of Chase-Lev deque in concurrent separation logic = 동시성 분리논리를 사용한 Chase-Lev 덱의 엄밀한 검증link Choi, Jaemin; 최재민; et al, 한국과학기술원, 2023 |
| 740 | Formal verification of concurrent lists in concurrent separation logic = 동시성 리스트들을 동시성 분리 논리로 엄밀하게 검증하기link Lee, Janggun; 이장건; et al, 한국과학기술원, 2024 |
| 741 | FPGA 기반 기계 학습 가속기의 재구성을 통한 전력 소모 감소 방안 = Power-aware reconfiguration of FPGA-based machine learning acceleratorlink 조석철; 허재혁; et al, 한국과학기술원, 2020 |
| 742 | Freezing : eliminating drawing computation of uninteresting display region for low-power consumption = 스마트폰 화면에 존재하는 무관심 영역의 그리기 연산을 제거한 새로운 저전력 기법link Seo, Bohun; Kim, Soontae; et al, 한국과학기술원, 2018 |
| 743 | Friendly-community detection considering bad relationships on social networks = 소셜 네트워크 상에서 사용자들간의 비선호도를 고려한 친밀한 커뮤니티 발견link Kim, Sang-Yeon; 김상연; et al, 한국과학기술원, 2014 |
| 744 | From awareness to resonance: enhancing socio-emotional intelligence through a socially translucent community stress = 인식에서 울림까지: 사회적 반투명 커뮤니티 스트레스를 통한 사회적-정서 지능 향상link Choi, Ryuhaerang; Lee, Sung-Ju; et al, 한국과학기술원, 2021 |
| 745 | Function relevance based fuzzing for coverage improvement = 함수 관련도를 이용한 퍼징의 커버리지 향상link Lee, Ahcheong; Kim, Moonzoo; et al, 한국과학기술원, 2021 |
| 746 | G-기계에서 루트 최적화의 효율적인 구현 = An efficient implementation for root optimization in G-machinelink 오지웅; O, Chi-Ung; et al, 한국과학기술원, 1998 |
| 747 | G.729 코덱에서의 VoIP 패킷 손실 복원 방법의 개선 = Improving VoIP packet loss concealment in G.729 codeclink 이동현; Lee, Dong-Hyun; et al, 한국과학기술원, 2004 |
| 748 | Gabor 특징과 support vector machine을 이용한 다양한 시점의 얼굴 검출 시스템 = Multi-view face detection system using Gabor features and support vector machinelink 김진현; Kim, Jin-Hyun; et al, 한국과학기술원, 2005 |
| 749 | Game sharing for scalable cloud gaming system = 확장성을 지원하는 클라우드 게임 시스템을 위한 게임 자원 공유 연구link Seo, Jae-Baek; 서재백; et al, 한국과학기술원, 2013 |
| 750 | Gateway selection optimization with QoS constraints in static multi-hop wireless networks = 정지상태의 다중홉 무선 네트워크에서 QoS 제약조건을 만족하는 게이트웨이 선택 최적화 방법link Tran,Toan-Dinh; Moon, Sue-Bok; et al, 한국과학기술원, 2007 |
| 751 | Gender swapping and its effects in MMORPGs = 대규모 다중 사용자 온라인 롤플레잉 게임에서의 젠더스와핑 현상과 그 영향에 관한 연구link Park, Kun-Woo; 박건우; et al, 한국과학기술원, 2014 |
| 752 | Generalizable robust deep learning via adversarial pruning and meta-noise generation = 적대적 프루닝과 메타 노이즈 생성 기반 일반화 가능한 강건한 딥러닝link Madaan, Divyam; Hwang, Sung Ju; et al, 한국과학기술원, 2021 |
| 753 | Generated spiral storage 를 사용하는 동적 해쉬 화일에서의 동시성 제어 기법에 관한 연구 = A study on a concurrency control mechanism in dynamic hash file using generalized spiral storagelink 김영호; Kim, Young-Ho; et al, 한국과학기술원, 1987 |
| 754 | Generating adversarial negative responses by using large-scale language model = 대규모 언어모델을 사용한 적대적 부정 응답 생성link Lee, Nyoungwoo; Choi, Ho-Jin; et al, 한국과학기술원, 2022 |
| 755 | Generating diverse sentential arguments on controversial topics with a memory-augmented generation model = 메모리 증강 생성 모델을 이용하여 논쟁적인 주제에 대해 다양한 문장 단위 논지 생성link Park, ChaeHun; Park, Jong Cheol; et al, 한국과학기술원, 2020 |
| 756 | Generating humorous statements for public speech with pre-trained language model and tension analyzer = 사전 학습된 언어 모델과 긴장도 분석기를 이용한 발표 유머 생성link Yoon, Seungwon; Park, Jong Cheol; et al, 한국과학기술원, 2020 |
| 757 | Generating test input with deep reinforcement learning = 강화학습을 활용한 테스트입력 생성기법link Kim, Junhwi; Yoo, Shin; et al, 한국과학기술원, 2018 |
| 758 | Generation of adaptation strategies for dynamic reconfiguration of a system of systems = 시스템 오브 시스템즈의 동적 재구성을 위한 적응전략 생성link Lee, SungJin; Bae, Doo Hwan; et al, 한국과학기술원, 2021 |
| 759 | Generation of an automated testing environment using OCL for enterprise components = OCL을 이용한 기업형 컴포넌트의 자동화 시험 환경 구현link Kim, Sang-Woon; 김상운; et al, 한국과학기술원, 2002 |
| 760 | Generation of cell descriptions from regitster transfer language description for datapath = VLSI 자료 통로의 RTL 표현에서 세포 표현의 생성link Cho, Dae-Jin; 조대진; et al, 한국과학기술원, 1986 |
| 761 | Generation of coherent gene summary = 유전자 정보의 조리있는 요약 문단의 자동 생성link Kang, Chan-Goo; 강찬구; et al, 한국과학기술원, 2006 |
| 762 | Generation of three-dimensional typography for multiple texts = 복수의 텍스트를 표현하는 3차원 타이포그래피 생성link Kim, Suzi; 김수지; et al, 한국과학기술원, 2016 |
| 763 | Generation-based question decomposition for multi-hop question answering = 다중 문단 질의응답을 위한 생성기반 질의분해 기법link Cao, Minh-Son; Myaeng, Sung-Hyon; et al, 한국과학기술원, 2021 |
| 764 | Geometric analysis and prediction systems for protein domain interacting interfaces = 단백질 도메인 상호작용면에 대한 기하학적 분석 및 예측 시스템link Park, Chang-Bum; 박창범; Choi, Sung-Hee; Song, June-Hwa; et al, 한국과학기술원, 2006 |
