| 61 | (A) novel target directed model checking for fast abstract reachability analysis = 빠른 추상 도달가능성 분석을 위한 새로운 목표 지향 모델 체킹link Lee, Nakwon; Baik, Jongmoon; 백종문; Kim, Moonzoo; et al, 한국과학기술원, 2022 |
| 62 | (A) novel term weighting scheme based on discrimination power = 질의 어절의 고유한 분별력에 기반한 어절 가중치 부여방법 연구link Song, Sa-Kwang; 송사광; et al, 한국과학기술원, 2011 |
| 63 | (A) parallel connection graph proof procedure using hybrid parallelism = 혼성 병렬성을 이용한 정리 증명 방법link Kim, Byeong-Man; 김병만; et al, 한국과학기술원, 1992 |
| 64 | (A) parallel execution model of prolog programs for multiprocessor systems = 다중처리기 시스템을 위한 프로로그(Prolog)프로그램의 병렬 수행 모델link Kim, Seung-Beom; 김승범; et al, 한국과학기술원, 1989 |
| 65 | (A) patch-based approach to synthesizing textures on 3D surfaces using global conformal parameterization = 전역적 등각 매개변수화를 이용한 패치 기반 텍스쳐 합성 기법link Shin, Seung-Hyup; 신승협; et al, 한국과학기술원, 2006 |
| 66 | (A) pattern-based approach to identifying and correcting outliers in software project data = 소프트웨어 프로젝트 데이터에 대한 패턴 기반의 이상치 검출 및 정제 기법link Yoon, Kyung-A; 윤경아; et al, 한국과학기술원, 2010 |
| 67 | (A) peer-to-peer web caching of large objects on a high bandwidth network = 고대역폭 망에서의 피어투피어 방식을 활용한 큰 자료들의 웹 캐슁link Kim, Hyun-Chul; 김현철; et al, 한국과학기술원, 2005 |
| 68 | (A) place-aware social matching model for predicting serendipitous interactions = 우연적 상호작용 예측을 위한 장소 인지형 소셜 매칭 모델 연구link Kim, Taehun; 김태훈; Hyun, Soon Joo; 현순주; et al, 한국과학기술원, 2017 |
| 69 | (A) plugin-based framework for supporting GUI application testing = 그래픽 사용자 인터페이스 어플리케이션 테스팅 지원을 위한 플러그인 기반 프레임워크link Bae, Gigon; 배기곤; Bae, Doo-Hwan; 배두환; et al, 한국과학기술원, 2014 |
| 70 | (A) recovery method in main memory databases = 주기억장치 데이터베이스에서의 회복 기법link Woo, Seung-Kyoon; 우승균; et al, 한국과학기술원, 2000 |
| 71 | (A) reliable multicast protocol for large-scale transmission of multimedia information = 대단위 가입자에게 멀티미디어 정보전달을 위한 신뢰성 있는 멀티케스트 프로토콜link Jung, Jin-Ho; 정진호; et al, 한국과학기술원, 1998 |
| 72 | (A) runtime resolution scheme for priority boost conflict in implicit coscheduling = 암묵적 동시 스케쥴링에서 우선순위 높임 충돌을 해결하기 위한 효율적인 스케쥴링 기법에 관한 연구link Yu, Jung-Lok; 유정록; et al, 한국과학기술원, 2007 |
| 73 | (A) Scalable real-time NAND flash file system for mobile multimedia devices = 모바일 멀티미디어 장치를 위한 대용량 실시간 낸드 플래시 파일 시스템에 관한 연구link Jung, Da-Woon; 정다운; et al, 한국과학기술원, 2009 |
| 74 | (A) self-defensive approach to protect the software execution in the untrusted environment = 신뢰할 수 없는 환경에서의 소프트웨어 실행을 보호하기 위한 자가 방어 방법에 관한 연구link Lee, Jae-Won; 이재원; et al, 한국과학기술원, 2005 |
| 75 | (A) signal flow graph metathod of goal programming = 모표 계획의 시그널 흐름 도식법에 의한 해link Lee, Chul-Soo; 이철수; et al, 한국과학기술원, 1980 |
| 76 | (A) simple and efficient approach for mobile phishing detection on mobile environments = 모바일 환경에서의 단순하면서 효율적인 모바일 피싱 공격 탐지 방안에 대한 연구link Lee, Hyungkyu; Yoon, Hyunsoo; et al, 한국과학기술원, 2018 |
| 77 | (A) software process modeling framework based on meta process model = 메타 프로세스 모델에 기반한 소프트웨어 프로세스 모델링 프레임워크link Min, Sang-Yoon; 민상윤; et al, 한국과학기술원, 2003 |
| 78 | (A) static analysis framework with explicit synchronization for definite error detection on esterel = 명료한 동기화와 명확한 오류 검출을 위한 Esterel의 정적분석 기반구조link Kim, Chul-Joo; 김철주; et al, 한국과학기술원, 2010 |
| 79 | (A) static analysis technique for improving accuracy of worst case execution time estimation = 최장 수행 시간 예측의 정확도 향상을 위한 정적 분석 기법link Kim, Tai-Hyo; 김태효; et al, 한국과학기술원, 2007 |
| 80 | (A) stream processing approach to dynamic analysis of structured specifications = 스트림 처리 방식을 이용한 구조적 명세의 동적 분석link Kim, Myung Ho; 김명호; et al, 한국과학기술원, 1989 |
| 81 | (A) study of the program disassembly using flowanalysis techniques = 흐름 분석 기법을 이용한 프로그램 디스어셈블리에 관한 연구link Yoo, Chae-Woo; 유재우; Park, Chul-Hui; Chon, Kil-Nam; et al, 한국과학기술원, 1985 |
| 82 | (A) study on deductive database model supporting unknown values with implicit predicate = 잠재술어에 의해 미지값 처리를 지원하는 연역 데이타베이스 모델에 관한 연구link Yang, Jae-Dong; 양재동; et al, 한국과학기술원, 1991 |
| 83 | (A) study on effortless mobile payment system = 사용자 불편을 최소화한 모바일 결제 시스템에 관한 연구link Kim, Soohyung; 김수형; et al, 한국과학기술원, 2016 |
| 84 | (A) study on fault-tolerant routing in interconnection networks = 상호 연결망에서의 고장 감내 라우팅에 관한 연구link Kim, Jin-Soo; 김진수; et al, 한국과학기술원, 1998 |
| 85 | (A) study on intelligent rasterizer of chinese outline fonts and automatic generation of hinting information = 한자에 적합한 윤곽선 글꼴 전개기 및 이를 위한 힌트 정보의 자동 생성에 관한 연구link Park, Seung-Woon; 박승운; et al, 한국과학기술원, 1993 |
| 86 | (A) study on knowledge refinement technique for an oriental medicine knowledge base = 한의 지식 베이스를 위한 지식 정예 기법에 관한 연구link Lee, Chang-Hoon; 이창훈; et al, 한국과학기술원, 1993 |
| 87 | (A) study on multicast algorithms in multistage interconnection networks = 다단계 상호 연결망에서 멀티캐스트 알고리즘에 관한 연구link Park, Jae-Hyung; 박재형; et al, 한국과학기술원, 1997 |
| 88 | (A) study on multimedia security for various types of media = 다종 미디어를 위한 멀티미디어 보안에 대한 연구link Nam, Seung-Hun; Lee, Heung-Kyu; et al, 한국과학기술원, 2020 |
| 89 | (A) study on packet classification : high performance longest prefix matches for IP address lookups = 패킷 분류에 관한 연구 : IP 주소 검색을 위한 고성능 최장 프리픽스 일치link Jean, Sung-Kee; 진성기; et al, 한국과학기술원, 2002 |
| 90 | (A) study on performance improvement of communication-intensive applications in large-scale computational resources = 거대 계산자원에서 통신 의존적 프로그램의 성능향상 연구link Kwon, Oh-Kyoung; Song, Junehwa; et al, 한국과학기술원, 2022 |
| 91 | (A) study on resilient application-layer multicast for real-time services = 실시간 서비스를 위한 응용계층 멀티캐스트에 관한 연구link Kwon, Wi-Nam; 권위남; et al, 한국과학기술원, 2011 |
| 92 | (A) study on synchronization mechanism for automatic generation of synchronization skeleton = 동기화 골격을 자동 생성하기 위한 동기화 구조에 대한 연구link Kim, Young-Joo; 김영주; et al, 한국과학기술원, 1989 |
| 93 | (A) study on the execution mechanisms of a functional logic language with lazy evaluation = 지연 연산을 하는 함수 논리 언어의 수행 방법에 관한 연구link Nang, Jong-Ho; 낭종호; et al, 한국과학기술원, 1992 |
| 94 | (A) study on the frequency - weighted spectral representations for robust speech recognition = Robust한 음성인식을 위한 주파수 가중 스펙트럼 표현에 관한 연구link Kim, Ki-Chul; 김기철; et al, 한국과학기술원, 1992 |
| 95 | (A) study on the gesture spotting from continuous hand motion with a threshold model = 임계치 모델을 이용한 연속적인 손 동작으로부터의 제스처 추출에 관한 연구link Lee, Hyeon-Kyu; 이현규; et al, 한국과학기술원, 1998 |
| 96 | (A) study on the parallel execution of boltzmann machine on distributed memory multiprocessors = 분산 기억장치 다중처리기 상에서 볼쯔만 머쉰의 병렬 수행에 관한 연구link Oh, Duk-Hwan; 오득환; Maeng, Seung-Ryoul; Yoon, Hyun-Soo; et al, 한국과학기술원, 1994 |
| 97 | (A) template model based shape morphometry = 템플릿 모델 기반 형상 계측 : 뇌 피질하 구조 및 뇌실을 중심으로link Kim, Jaeil; 김재일; et al, 한국과학기술원, 2015 |
| 98 | (A) temporal synchronization scheme to reduce and compensate for temporal asynchrony in wireless 3D video streaming = 무선 3D 비디오 스트리밍 상에서 시간적 비동기를 줄이고 보상하기 위한 시간적 동기화 Schemelink Yoon, Yohaan; Kim, Myungchul; et al, 한국과학기술원, 2020 |
| 99 | (A) testing method for task interactions of embedded software using message sequence charts = 메시지 순서도를 이용한 내장 소프트웨어의 태스크 상호작용 테스팅 방법link Lee, Nam-Hee; 이남희; et al, 한국과학기술원, 2003 |
| 100 | (A) topic-based inter-region network for spatio-temporal analysis of large SNS data = 대용량 소셜 네트워크 서비스 데이터의 시공간적 분석을 위한 주제 기반 지역 네트워크link Jang, Gwan; 장관; et al, 한국과학기술원, 2017 |
| 101 | (A) TSK fuzzy model generation method based on pseudo metric on fuzzy sets and cluster validation = 퍼지집합 간의 의사거리 및 클러스터 검증기법을 이용한 TSK 퍼지모델 생성방법에 관한 연구link Kim, Young-Il; 김영일; et al, 한국과학기술원, 2005 |
| 102 | (A) Typed functional logic language : semantics and implementation = 형 함수 논리 언어 : 의미와 구현link Shin, Dong-Wook; 신동욱; Maeng, Seung-Ryoul; Cho, Jung-Wan; et al, 한국과학기술원, 1990 |
| 103 | (A) unified proof mechanism for knowledge and belief based on box model = 상자 모형에 기초한 믿음과 지식의 단일화된 증명 방법link Kim, Young-Hoon; 김영훈; et al, 한국과학기술원, 1994 |
| 104 | (A) user experience modeling and evaluation framework for mobile usability = 모바일 사용성을 위한 UX 설계 및 평가 프레임워크link Lee, Hee-Jin; 이희진; et al, 한국과학기술원, 2017 |
| 105 | (A) virtual terminal protocol with windowing capability = 윈도우 기능을 갖는 가상터미날 프로토콜link Han, Sun-Young; 한선영; Chon, Kil-Nam; Choe, Kwang-Moo; et al, 한국과학기술원, 1988 |
| 106 | (A) virtualization-based approach to guarantee trusted execution for highly secure applications = 높은 보안성을 요구하는 프로그램을 위한 가상화 기반 신뢰성 있는 실행 보장 기법 연구link Park, Sungjin; 박성진; et al, 한국과학기술원, 2017 |
| 107 | (A) vision method for picking up the randomly stacked cylindrical parts = 임의로 쌓여있는 원통형 부품을 채집하기 위한 시각적 방법link Oh, Il-Seok; 오일석; et al, 한국과학기술원, 1992 |
| 108 | (A) window system architecture for the distributed environment = 분산 환경을 위한 윈도우 시스템 아키텍춰link Yoon, Jin-Soo; 윤진수; et al, 한국과학기술원, 1994 |
| 109 | Acceleration techniques for monte carlo ray tracing = 몬테카를로 광선 추적법을 위한 가속화 기술link Moon, Bo-Chang; 문보창; et al, 한국과학기술원, 2014 |
| 110 | Accuracy improving methods for content-based image searches in large multimedia databases = 대용량 멀티미디어 데이터베이스 상에서 내용-기반 이미지 검색의 정확도 향상 연구link Kim, Tak-Eun; 김탁은; et al, 한국과학기술원, 2016 |
| 111 | Accurate 3D human activity recognition and recursive bayesian fire recognition for intelligent video surveillance = 지능화된 비디오 감시를 위한 정확도 높은 3차원 인간 행동 인식과 재귀적인 베이지안 불꽃 인식 기법link Bae, Su-Jung; 배수정; et al, 한국과학기술원, 2014 |
| 112 | Active and passive forensic methods for next-generation video content protection = 차세대 비디오 콘텐츠 보호를 위한 능동형 및 수동형 포렌식 기법link Lee, Ji-Won; 이지원; et al, 한국과학기술원, 2013 |
| 113 | Active and passive forensic methods for protection of digital content = 디지털 콘텐츠 보호를 위한 능동형.수동형 포렌식 기법link Choi, Hakyeol; 최학열; et al, 한국과학기술원, 2017 |
| 114 | Active queue management for queue stability and fairness = 큐의 안정화와 대역폭의 공정한 분배를 위한 큐관리 기법link Kim, Jong-Hwan; 김종환; et al, 한국과학기술원, 2009 |
| 115 | Activity-oriented context management for multi-user ubiquitous computing environments: context reasoning and conflict detection/resolution = 다수 사용자 유비쿼터스 컴퓨팅 환경을 위한 액티비티 기반 상황정보 관리시스템: 상황정보 추론과 충돌감지 및 해결 기법link Park, In-Suk; 박인석; et al, 한국과학기술원, 2010 |
| 116 | Activity-Travel Pattern Monitoring Framework in Modern City Environments = 도시 환경에서의 활동-여행 행태 모니터링 프레임워크link Lee, Sang-Jeong; 이상정; et al, 한국과학기술원, 2012 |
| 117 | Ad-hoc network construction with bluetooth = 블루투스에서의 애드혹 망 구성link Kim, Cheol-Gi; 김철기; et al, 한국과학기술원, 2005 |
| 118 | Adaptive acceleration-based gesture recognition using meta-cognitive framework = 메타인지 프레임워크를 이용한 적응형 가속도 기반 제스처 인식link Jang, Minsu; 장민수; et al, 한국과학기술원, 2015 |
| 119 | Adaptive eager-lazy hybrid evaluation of event patterns for low latency = 빠른 지연 시간을 위한 이벤트 패턴의 적응형 Eager-Lazy 하이브리드 평가link Yi, Ilyeop; 이일엽; 황규영; Lee, Jae-Gil; et al, 한국과학기술원, 2016 |
| 120 | Adaptive file caching with application-specific management = 사용자 제어가 가능한 적응형 화일 캐슁link Lee, Hyo-Gun; 이효건; et al, 한국과학기술원, 1998 |
