| 801 | Tactics based approach for integrating non-functional requirements in object-oriented analysis and design = 객체지향 분석 및 설계에서 비기능적 요구사항 통합을 위한 전략기반 접근방법link Zewdie, Tegegne Marew; Tegegne M.Z.; et al, 한국과학기술원, 2014 |
| 802 | Temporal anti-aliasing for moving solid objects = 움직이는 강체를 위한 템퍼럴 앤티에일리어싱link Baek, Nak-Hoon; 백낙훈; et al, 한국과학기술원, 1997 |
| 803 | Temporal context model using extended RDF triple for enhancing system performance = 시스템 성능 향상을 위한 확장된 RDF 트리플을 이용한 시간적 상황 모델link Lim, Jae-Hyoung; 임재형; et al, 한국과학기술원, 2012 |
| 804 | Temporal information extraction from Korean texts = 한국어 문서로부터의 시간 정보 추출link Jeong, Young-Seob; 정영섭; et al, 한국과학기술원, 2016 |
| 805 | Test case generation from UML-based specification = UML 명세로부터의 시험사례 생성에 관한 연구link Kim, Young-Gon; 김영곤; et al, 한국과학기술원, 2000 |
| 806 | Test sequence generation from specification in system description language = 시스템 기술 언어로 된 규격으로 부터의 시험 계열 생성 기법link Chin, Byoung-Moon; 진병문; et al, 한국과학기술원, 1996 |
| 807 | The design of adaptive intrusion tolerance system based on virtualization = 가상화 기반의 능동형 침입감내시스템 설계link Lim, Jung-Min; 임정민; et al, 한국과학기술원, 2014 |
| 808 | The optimal image partition searching algorithm for the sort-first parallel rendering = 선정렬 병렬 렌더링을 위한 최적 이미지 분할 검색 알고리즘link Jin, Jong-Wook; 진종욱; et al, 한국과학기술원, 2012 |
| 809 | (The) $B^{st}$-tree index and a dynamic histogram method for spatiotemporal query processing = 시공간 질의 처리를 위한 $B^{st}$-tree 색인과 동적 히스토그램 기법link Park, Hyun-Kyoo; 박현규; et al, 한국과학기술원, 2003 |
| 810 | (The) adaptive scheme for adjusting the aggregate throughput of parallel TCP flows = 병렬 TCP 플로우의 전송 속도 총합을 네트워크 상황에 맞게 조절하는 기법link Kim, Yu-sung; 김유성; et al, 한국과학기술원, 2008 |
| 811 | (The) AND process configuration : a unified framework for AND - parallel execution of logic programs = AND 프로세스 컨피규레이션 : 논리 프로그램의 AND - 병렬 수행을 위한 통합된 틀link Kim, Do-Hyung; 김도형; et al, 한국과학기술원, 1992 |
| 812 | (The) behavioral and cognitive effects of map and augmented reality navigation paradigms = 지도 내비게이션과 증강현실 내비게이션이 운전자 행동과 인지에 미치는 영향 분석link Kim, Kyong-Ho; 김경호; et al, 한국과학기술원, 2010 |
| 813 | Theory and application of ultra high dimensional sparse representations for efficient and interpretable semantic search = 효율적이고 해석 가능한 의미 검색을 위한 초고차원 희소 표상의 이론과 응용link Jang, Kyoung-Rok; Myaeng, Sung-Hyon; et al, 한국과학기술원, 2022 |
| 814 | Three-level transaction scheduling in multidatabase systems = 멀티 데이타베이스 시스템에서 3-단계 트랜잭션 스케쥴링link Hwang, Bu-Hyun; 황부현; et al, 한국과학기술원, 1994 |
| 815 | Throughput enhancement in mobile wireless networks using cooperative communication = 모바일 무선 네트워크에서의 협력 통신을 활용한 성능 향상link An, Dong-Hyeok; 안동혁; et al, 한국과학기술원, 2013 |
| 816 | Time-series explainable artificial intelligence for real-world applications = 실제 산업에 활용하는 시계열 설명가능 인공지능link Huh, Jawook; Hwang, Sung Ju; et al, 한국과학기술원, 2023 |
| 817 | Timing consistency checking for UML/MARTE behavioral models of real-time embedded software = 실시간 임베디드 소프트웨어의 UML/MARTE 행위 모델에 대한 시간 일관성 검사 기법link Choi, Jin-Ho; 최진호; et al, 한국과학기술원, 2013 |
| 818 | Top-k query processing using partitioning-merging techniques = 분할-합병 기법을 이용한 Top-k 질의 처리link Heo, Jun-Seok; 허준석; et al, 한국과학기술원, 2009 |
| 819 | Topic models for discovering latent inter-dependency within text data = 텍스트 데이터의 내재적 상호 의존을 찾아내기 위한 토픽 모델link Kim, Joon Hee; 김준희; et al, 한국과학기술원, 2017 |
| 820 | Topological properties of the class of hypercube-like graphs = 유사 하이퍼큐브 그래프 부류의 위상적 성질link Park, Chong-Dae; 박종대; et al, 한국과학기술원, 2004 |
| 821 | Tour into the video : image-based navigation system for video sequences of dynamic scenes = 비디오 속으로의 여행 : 동적인 장면을 위한 비디오 기반 내비게이션 시스템link Kang, Hyung-Woo; 강형우; et al, 한국과학기술원, 2002 |
| 822 | Toward cost-effective SSDs in cloud storage systems via high durability and VM-scalability = 클라우드 저장소에서 높은 비용 효율을 위한 내구성 및 VM 확장성을 갖춘 SSD에 대한 연구link Lee, Wonyoung; Kim, Soontae; et al, 한국과학기술원, 2023 |
| 823 | Toward reliable microprocessors in nanometer-scale technologies = 나노스케일 공정에서의 고신뢰성 마이크로프로세서 설계 기법link Hong, Seokin; 홍석인; et al, 한국과학기술원, 2015 |
| 824 | Towards efficient processing of graph queries = 그래프 질의의 효율적인 처리에 관한 연구link Kim, Song-Hyon; 김송현; et al, 한국과학기술원, 2013 |
| 825 | Towards intuitive BCI mobility: virtually embodied scaffolding and shared control for asynchronous navigation = 직관적인 비동기식 뇌-컴퓨터 인터페이스 모빌리티 제어를 위한 가상착용형 스캐폴딩 및 반자율주행 기법link Choi, Jin Woo, 한국과학기술원, 2022 |
| 826 | Towards robust wireless cellular networks: security and economic approaches = 무선 셀룰러 네트워크 강화 기법: 보안 및 경제적 접근link Park, HanJin; 박한진; et al, 한국과학기술원, 2015 |
| 827 | Towards secure web applications with static analysis = 안전한 웹 어플리케이션 개발을 위한 JavaScript 정적 분석 디자인 및 응용link Ko, Yoonseok; Ryu, Sukyoung; et al, 한국과학기술원, 2018 |
| 828 | Training of neural networks for detecting manipulations in digital images = 이미지 조작 탐지를 위한 뉴럴 네트워크 학습 방법link Yu, In Jae; Lee, Heung Kyu; et al, 한국과학기술원, 2021 |
| 829 | Transaction management in nested transaction systems = 중포 트랜잭션 시스템에서의 트랜잭션 관리link Shin, Dong-Cheon; 신동천; et al, 한국과학기술원, 1991 |
| 830 | Transaction scheduling for interoperability in heterogeneous network management systems = 이질형 망관리 시스템들의 연동성을 위한 트랜잭션 스케쥴링link Lee, Jong-Hyun; 이종현; et al, 한국과학기술원, 1996 |
| 831 | Tree drawing using partition-and-merge strategy in two and three dimensions = 분할-합병 전략을 이용한 이차원과 삼차원에서 트리 그리기link Shin, Chan-Su; 신찬수; et al, 한국과학기술원, 1998 |
| 832 | Tree-based modeling of prosody for Korean TTS systems = 한국어 TTS 시스템을 위한 운율의 트리 기반 모델링link Lee, Sang-Ho; 이상호; et al, 한국과학기술원, 2000 |
| 833 | Trusted execution environment for multi-level security and hardware sandbox = 다계층 보안과 하드웨어 샌드박스를 지원하기 위한 신뢰 실행 환경 연구link Park, Joongun; Huh, Jaehyuk; et al, 한국과학기술원, 2023 |
| 834 | Two building blocks for replication: replicated abstract data types and $\texttt{log}^\prime$ version vector = 복제 추상화 데이터 구조와 로그 프라임 버전 벡터link Roh, Hyun-Gul; 노현걸; et al, 한국과학기술원, 2011 |
| 835 | Two-channel sound source localization method for speech enhancement system = 음질 개선 시스템을 위한 두 채널 음원의 방향 추적 방법link Jeon, Hye-Jeong; 전혜정; et al, 한국과학기술원, 2008 |
| 836 | Unconstrained handwritten word recognition with interconnected hidden markov models = 상호 연결된 은닉 마르코프 모델을 이용한 무제약 필기 단어 인식link Ha, Jin-Young; 하진영; et al, 한국과학기술원, 1994 |
| 837 | Uplink scheduling in IEEE 802.16 WMAN = IEEE 802.16 WMAN에서의 상향링크 스케줄링link Kim, Seung-Woon; 김승운; et al, 한국과학기술원, 2007 |
| 838 | URI-sniffing based load balancing on clustered web servers = 웹 서버 클러스터에서 URI 스니핑에 기초한 부하 분배link Hyun, Jong-Woong; 현종웅; et al, 한국과학기술원, 2003 |
| 839 | User support for battery management of continuous sensing applications = 모바일 센싱 어플리케이션의 배터리 관리를 위한 사용자 지원link Min, Chulhong; 민철홍; Song, Junehwa; 송준화; et al, 한국과학기술원, 2016 |
| 840 | User-perceived performance analysis and call admission control in wireless networks = 무선망에서 사용자 관점의 성능 분석 및 호 수락 제어link Cho, Min-Hee; 조민희; et al, 한국과학기술원, 2006 |
| 841 | Utilizing deep abstraction for higher intrusion-detection in wireless networks = 무선 네트워크에서 침입 탐지 성능 향상을 위한 심층 추상화 기법 연구link Aminanto, Muhamad Erza; Kim, Kwangjo; et al, 한국과학기술원, 2018 |
| 842 | Utilizing non-local information to large-scale hierarchical text classification = 비국소적 정보를 이용한 대규모 계층적 문서 분류link Oh, Heung-Seon; 오흥선; et al, 한국과학기술원, 2014 |
| 843 | Validation of timing and communication constraints in real-time parallel programs = 실시간 병렬 프로그램에 대한 시간 및 통신 제약 조건의 검증link Bae, Hyun-Seop; 배현섭; et al, 한국과학기술원, 1999 |
| 844 | Verification and testing methods for Statecharts = Statecharts를 위한 검증 및 테스팅 방법link Hong, Hyoung-Seok; 홍형석; et al, 한국과학기술원, 2001 |
| 845 | Verification of intelligent network services by analyzing feature interactions using a petri net model = 페트리네트 모델을 사용한 서비스 상호작용 분석에 의한 지능망 서비스의 검증link Choi, Jeong-Hun; 최정훈; et al, 한국과학기술원, 2003 |
| 846 | Very low bit rate speech coding based on temporal decomposition of line spectral frequencies = 선스펙트럼 주파수의 시간적 분해법에 기반한 극저전송률 음성부호화link Kim, Sung-Joo; 김승주; et al, 한국과학기술원, 2000 |
| 847 | Very low bit-rate speech coding using perceptual properties of human ear = 인간의 청각 특성을 이용한 극저전송률 음성 부호화link Han, Woo-Jin; 한우진; et al, 한국과학기술원, 2002 |
| 848 | Video-guided motion capture and transfer using example motions = 예제동작을 이용한 영상기반 동작포착 및 동작이전link Park, Min-Je; 박민제; et al, 한국과학기술원, 2005 |
| 849 | View path planning for online 3D modeling using micro aerial vehicles = 드론 활용 온라인 3차원 모델 생성을 위한 경로계획 방법link Song, Soohwan; Jo, Sungho; et al, 한국과학기술원, 2020 |
| 850 | Virtual cache architectures for reducing memory access latencies = 메모리 접근 지연시간을 감소시켜주는 가상 캐쉬구조link Kim, Dong-Wook; 김동욱; et al, 한국과학기술원, 1998 |
| 851 | Virtual environment design methodology for natural hand interaction = 자연스러운 핸드 인터랙션을 위한 가상 환경 디자인 방법론에 관한 연구link Kim, Yong-Wan; 김용완; et al, 한국과학기술원, 2014 |
| 852 | Visibility algortihms under distance constraint = 거리 제약을 가지는 가시성 알고리즘link Kim, Sung-Ho; 김승호; et al, 한국과학기술원, 1994 |
| 853 | Visibility layers and their applications to rendering = 가시계층과 렌더링에서의 응용link Kim, Dae-Seoung; 김대승; et al, 한국과학기술원, 1997 |
| 854 | Visibility properties of graphs and their recognition = 그래프에 내재되어 있는 가시 특성과 그 인식link Choi, Seung-Hak; 최승학; et al, 한국과학기술원, 1993 |
| 855 | Visibility-based path planning algorithms in a polygon = 다각형에서의 가시기반 경로계획 알고리즘link Lee, Jae-Ha; 이재하; et al, 한국과학기술원, 1999 |
| 856 | Visibility-based pursuit-evasion problems in polygons = 다각형에서 가시성을 기반으로 한 회피 및 탐색 문제link Park, Sang-Min; 박상민; et al, 한국과학기술원, 2003 |
| 857 | Visual query language for object-oriented database systems : VOQL = 객체지향 데이타베이스를 위한 시각질의어 : VOQLlink Kim, Kyu-Ho; 김규호; et al, 한국과학기술원, 1996 |
| 858 | Visualization and formalization of user constraints for a tight estimation of worst-case execution time = 정확한 최장수행시간 예측을 위한 사용자 제약사항의 시각화 및 정형화link Lee, Jong-In; 이종인; et al, 한국과학기술원, 2009 |
| 859 | Visualization and recognition of context information in virtual and augmented reality = 가상/증강현실에서의 상황정보 시각화 및 인식link Lee, Hyeopwoo; Lee, Heungkyu; et al, 한국과학기술원, 2021 |
| 860 | VLSI architectures for the wavelet-based video coding system = 웨이블릿 기반 비디오 코딩 시스템을 위한 VLSI 구조link Baek, Yun-Ju; 백윤주; et al, 한국과학기술원, 1997 |
