781 | Service adaptation loss modeling and minimization for spontaneous service composition in a ubiquitous computing environment = 유비쿼터스 환경에서 즉시적 서비스 조합을 위한 서비스 적응 손실 모델링 및 최소화 기법link Kim, Byoung Oh; 김병오; et al, 한국과학기술원, 2015 |
782 | Singing voice generation and phrase emphasis using glottal-waveform = 성대파를 이용한 가창음성 생성 및 어구 강조link Bae, Jae-Hyun; 배재현; et al, 한국과학기술원, 2011 |
783 | Social button: a case system for social control-and-use of IoT devices in public spaces = 소셜 버튼: 공용공간 내 IoT 기기의 사회적 활용을 지원하는 사례 시스템 탐구link Lee, Seungchul; 이승철; et al, 한국과학기술원, 2023 |
784 | Socially-aware control of everyday appliances in urban spaces = 도시공간 속 일상기기의 사회적 조작link Kim, Wonjung; 김원중; et al, 한국과학기술원, 2023 |
785 | Software optimization methods for high-performance flash-based storage devices = 고성능 플래시 저장 장치를 위한 소프트웨어 최적화 기법link Park, Seon-yeong; 박선영; et al, 한국과학기술원, 2011 |
786 | Software theft detection through analysis of the semantic units of program = 프로그램의 의미 단위 분석을 통한 소프트웨어의 도용 탐지 방법link Lim, Hyun-il; 임현일; et al, 한국과학기술원, 2009 |
787 | Software theft detection through static trace birthmarks for java = 자바의 정적 트레이스 버스마크를 통한 소프트웨어 도용 탐지link Park, Hee-Wan; 박희완; et al, 한국과학기술원, 2010 |
788 | Some visibility problems for isothetic objects and a simple polygon = 직교 물체와 단순 다각형의 가시성에 관한 연구link Doh, Jeong-In; 도정인; et al, 한국과학기술원, 1989 |
789 | Sorting method for fully homomorphic encrypted data using the cryptographic single-instruction multiple-data operation = 완전동형암호의 암호기법적 SIMD기능을 활용한 암호문 정렬 기술link Kim, Pyung; 김평; et al, 한국과학기술원, 2016 |
790 | Speaker oriented conversation model and its evaluation = 화자 기반 대화 모델 및 평가 방법link Bak, JinYeong; Oh, Alice; et al, 한국과학기술원, 2020 |
791 | Specification and analysis of dynamic systems using temporal logic = 동적 시스템 명세를 위한 시제논리와 분석link Cho, Seung-Mo; 조승모; et al, 한국과학기술원, 2002 |
792 | Specification and analysis of timing requirements in CBD approach using modular petri nets = 컴포넌트 기반 개발 방법론에서의 modular petri nets 를 이용한 시간 제약 사항의 명세 및 분석link Lee, Ho-Kyoung; 이호경; et al, 한국과학기술원, 2007 |
793 | Specification-based testing of java multithreaded programs utilizing equivalence relation on test sequences = 시험 시퀀스들의 동치 관계를 이용한 자바 다중스레드 프로그램의 명세 기반 시험기법link Seo, Heui-Seok; 서희석; et al, 한국과학기술원, 2007 |
794 | Speculative branch dolding for low energy embedded processors = 저전력 내장형 프로세서를 위한 Speculative branch foldinglink Park, Sang-Hyun; 박상현; et al, 한국과학기술원, 2005 |
795 | Speech emotion recognition in noisy environments using adaptive comb filtering and feature vector classification = 적응 콤 필터링과 특징 벡터 분류 기법을 이용한 잡음 환경에서의 음성 감정 인식link Park, Jeong-Sik; 박정식; et al, 한국과학기술원, 2010 |
796 | Speech synthesis and speaker modification based on two-band speech model = 2대역 음성모델에 기반한 음성합성 및 화자변환link Kim, Eun-Kyoung; 김은경; et al, 한국과학기술원, 2003 |
797 | SPODoM: search-based parameter optimization framework on just-in-time software defect prediction model = 검색 기반 just-in-time 소프트웨어 결함 예측 모델 파라미터 최적화 프레임워크link Kang, Jonggu; Baik, Jongmoon; et al, 한국과학기술원, 2022 |
798 | Spontaneous interaction network architecture = 즉각적 인터랙션 네트워크 아키텍처link Ko, Yang-Woo; 고양우; et al, 한국과학기술원, 2010 |
799 | Static and dynamic combined analysis for bug detection of web apps = 웹 앱 결함 검출을 위한 정적 동적 혼합 분석link Park, Joonyoung; Ryu, Sukyoung; et al, 한국과학기술원, 2022 |
800 | Statistical program dependence approximation = 통계적 프로그램 의존성 분석link Lee, Seongmin; Yoo, Shin; et al, 한국과학기술원, 2022 |
801 | Stochastic modeling of Korean language for Open-vocabulary handwritten Hangul recognition = 개방 어휘 환경에서의 필기체 한글 인식을 위한 한국어의 통계적 모델링link Ryu, Sung-Ho; 류성호; et al, 한국과학기술원, 2005 |
802 | Storage management for vector/raster data in spatial database systems = 공간 데이타베이스 시스템에서 벡터/래스터 데이타를 위한 저장 관리link Hwang, Byung-Yeon; 황병연; et al, 한국과학기술원, 1994 |
803 | Storage management using multi-attribute indexing scheme in database management systems = 데이타베이스 관리 시스템에서 다중-속성 색인 기법을 이용한 저장 관리link Kim, Byung-Wook; 김병욱; et al, 한국과학기술원, 1996 |
804 | Storage sharing in closed P2P system = 폐쇄형 P2P 시스템에서의 저장 공간 공유link Oh, Seung-Taek; 오승택; et al, 한국과학기술원, 2007 |
805 | Structural analysis of regular textures using symmetry groups = 대칭그룹을 이용한 반복텍스츄어의 구조 분석link Oh, Gyu-Hwan; 오규환; et al, 한국과학기술원, 1998 |
806 | Study on detecting subtle signals in images using deep neural networks = 이미지의 미세 신호 탐지를 위한 딥러닝 기반 기술link Ahn, Wonhyuk; Lee, Heung-Kyu; 이흥규; Choi, Sunghee; et al, 한국과학기술원, 2021 |
807 | Study on fast computation of cryptographic computations : elliptic curve operations and server-aided secret computations = 암호학적 연산의 빠른 계산을 위한 연구 : 타원곡선 연산 및 서버의 도움을 받는 비밀 계산link Hong, Seong-Min; 홍성민; et al, 한국과학기술원, 2000 |
808 | Study on quantum circuit optimization of standard block ciphers = 표준 블록 암호에 대한 양자 회로 구현 최적화 연구link Chung, Doyoung; Lee, Jooyoung; et al, 한국과학기술원, 2023 |
809 | Study on secure and efficient management of outsourced data in cloud storage = 클라우드 스토리지의 안전성 및 효율성 향상을 위한 암호화된 데이터 검색 및 중복 제거에 대한 연구link Koo, Dongyoung; 구동영; et al, 한국과학기술원, 2016 |
810 | Support vector based classification for bio-data mining = 바이오 데이터 마이닝을 위한 서포트 벡터 기반 분류link Lee, Ki-Young; 이기영; et al, 한국과학기술원, 2006 |
811 | Supporting parallelism for Real-Time Multiprocessor Scheduling = 멀티 프로세서 플랫폼에서 실시간 작업의 스케줄링을 위한 동시 실행성 지원link Lee, Jin-Kyu; 이진규; et al, 한국과학기술원, 2011 |
812 | Surface-based Registration for Subcortical Structures = 피질하 구조를 위한 곡면 기반 등록link Cho, Young-Sang; 조영상; et al, 한국과학기술원, 2011 |
813 | Synchronization and inheritance schemes for an actor-based object-oriented language = Actor 모델에 기초한 객체지향 언어를 위한 동기화 및 상속기법link Ryu, Ki-Yeol; 류기열; et al, 한국과학기술원, 1992 |
814 | Synchronization of nested transactions in multidatabase systems = 다중 데이터베이스 시스템에서의 중첩 트랜잭션의 동기화link Choe, Weon-Seog; 최원석; et al, 한국과학기술원, 1999 |
815 | Synergetic interaction between fault localisation and defect prediction = 결함 위치 식별과 결함 예측간의 보완적 상호작용link Sohn, Jeongju; Yoo, Shin; et al, 한국과학기술원, 2021 |
816 | Syntactic analysis of coordinate noun phrase = 병렬 명사구의 구문 해석link Kim, Cheol-Ho; 김철호; et al, 한국과학기술원, 1991 |
817 | Syntactic error repair using repair patterns = 보정 유형을 이용한 구문 오류 보정link Yun, In-Sig; 윤인식; et al, 한국과학기술원, 1994 |
818 | Synthesis of function block diagrams software from NuSCR formal specification = NuSCR 정형명세로부터 function block diagrams의 생성link Yoo, Jun-Beom; 유준범; et al, 한국과학기술원, 2005 |
819 | System supports for data syndication service : high performance aggregation and archiving of frequently changed distributed data = 데이터 신디케이션 서비스를 위한 시스템 : 빈번하게 변경되는 분산 데이터의 고성능 통합 처리와 기록link Kim, Su-Myeon; 김수면; Lee, Heung-Kyu; Song, June-Hwa; et al, 한국과학기술원, 2006 |
820 | Systematic software testing approaches for specification and maintenacne phases = 명세와 유지보수 단계를 위한 체계적인 소프트웨어 테스팅 접근방법link Chung, In-Sang; 정인상; et al, 한국과학기술원, 1993 |
821 | Tactics based approach for integrating non-functional requirements in object-oriented analysis and design = 객체지향 분석 및 설계에서 비기능적 요구사항 통합을 위한 전략기반 접근방법link Zewdie, Tegegne Marew; Tegegne M.Z.; et al, 한국과학기술원, 2014 |
822 | Temporal anti-aliasing for moving solid objects = 움직이는 강체를 위한 템퍼럴 앤티에일리어싱link Baek, Nak-Hoon; 백낙훈; et al, 한국과학기술원, 1997 |
823 | Temporal context model using extended RDF triple for enhancing system performance = 시스템 성능 향상을 위한 확장된 RDF 트리플을 이용한 시간적 상황 모델link Lim, Jae-Hyoung; 임재형; et al, 한국과학기술원, 2012 |
824 | Temporal information extraction from Korean texts = 한국어 문서로부터의 시간 정보 추출link Jeong, Young-Seob; 정영섭; et al, 한국과학기술원, 2016 |
825 | Test case generation from UML-based specification = UML 명세로부터의 시험사례 생성에 관한 연구link Kim, Young-Gon; 김영곤; et al, 한국과학기술원, 2000 |
826 | Test sequence generation from specification in system description language = 시스템 기술 언어로 된 규격으로 부터의 시험 계열 생성 기법link Chin, Byoung-Moon; 진병문; et al, 한국과학기술원, 1996 |
827 | The design of adaptive intrusion tolerance system based on virtualization = 가상화 기반의 능동형 침입감내시스템 설계link Lim, Jung-Min; 임정민; et al, 한국과학기술원, 2014 |
828 | The optimal image partition searching algorithm for the sort-first parallel rendering = 선정렬 병렬 렌더링을 위한 최적 이미지 분할 검색 알고리즘link Jin, Jong-Wook; 진종욱; et al, 한국과학기술원, 2012 |
829 | (The) $B^{st}$-tree index and a dynamic histogram method for spatiotemporal query processing = 시공간 질의 처리를 위한 $B^{st}$-tree 색인과 동적 히스토그램 기법link Park, Hyun-Kyoo; 박현규; et al, 한국과학기술원, 2003 |
830 | (The) adaptive scheme for adjusting the aggregate throughput of parallel TCP flows = 병렬 TCP 플로우의 전송 속도 총합을 네트워크 상황에 맞게 조절하는 기법link Kim, Yu-sung; 김유성; et al, 한국과학기술원, 2008 |
831 | (The) AND process configuration : a unified framework for AND - parallel execution of logic programs = AND 프로세스 컨피규레이션 : 논리 프로그램의 AND - 병렬 수행을 위한 통합된 틀link Kim, Do-Hyung; 김도형; et al, 한국과학기술원, 1992 |
832 | (The) behavioral and cognitive effects of map and augmented reality navigation paradigms = 지도 내비게이션과 증강현실 내비게이션이 운전자 행동과 인지에 미치는 영향 분석link Kim, Kyong-Ho; 김경호; et al, 한국과학기술원, 2010 |
833 | 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 |
834 | Three-level transaction scheduling in multidatabase systems = 멀티 데이타베이스 시스템에서 3-단계 트랜잭션 스케쥴링link Hwang, Bu-Hyun; 황부현; et al, 한국과학기술원, 1994 |
835 | Throughput enhancement in mobile wireless networks using cooperative communication = 모바일 무선 네트워크에서의 협력 통신을 활용한 성능 향상link An, Dong-Hyeok; 안동혁; et al, 한국과학기술원, 2013 |
836 | Time-series explainable artificial intelligence for real-world applications = 실제 산업에 활용하는 시계열 설명가능 인공지능link Huh, Jawook; Hwang, Sung Ju; et al, 한국과학기술원, 2023 |
837 | Timing consistency checking for UML/MARTE behavioral models of real-time embedded software = 실시간 임베디드 소프트웨어의 UML/MARTE 행위 모델에 대한 시간 일관성 검사 기법link Choi, Jin-Ho; 최진호; et al, 한국과학기술원, 2013 |
838 | Top-k query processing using partitioning-merging techniques = 분할-합병 기법을 이용한 Top-k 질의 처리link Heo, Jun-Seok; 허준석; et al, 한국과학기술원, 2009 |
839 | Topic models for discovering latent inter-dependency within text data = 텍스트 데이터의 내재적 상호 의존을 찾아내기 위한 토픽 모델link Kim, Joon Hee; 김준희; et al, 한국과학기술원, 2017 |
840 | Topological properties of the class of hypercube-like graphs = 유사 하이퍼큐브 그래프 부류의 위상적 성질link Park, Chong-Dae; 박종대; et al, 한국과학기술원, 2004 |