2424 | 파고다 커널을 위한 가상 기억장치 관리 메커니즘 = A virtual memeory management mechanism for pagoda kernellink 박재현; Park, Jae-Hyun; et al, 한국과학기술원, 1990 |
2425 | 파스칼 컴파일러의 설계와 모듈화된 구현 = Design and modular implementation of pascal compilerlink 지정기; Chi, Jung-Ki; et al, 한국과학기술원, 1991 |
2426 | 파일 수준의 소프트웨어 제품라인 버전 관리를 위한 버전 모델링 방법 = A version modeling method for software product line version management at the file levellink 허준행; Heo, Junhaeng; et al, 한국과학기술원, 2016 |
2427 | 판별 특징 선택 기법을 이용한 필기 한글 유사쌍 구분기의 설계 = Pairwise discrimination of handwritten Hangul characters using discriminative feature selectionlink 권태호; Kwon, Tae-Ho; et al, 한국과학기술원, 2003 |
2428 | 패턴 매칭에 의한 목적 코드 최적화의 실험 = An experiment on object code optimization using pattern matchinglink 김광태; Kim, Kwang-Tae; 전길남; 최광무; et al, 한국과학기술원, 1987 |
2429 | 퍼셉트론을 이용한 장면전환의 검출에 관한 연구 = A study on the scene change detection using perceptronlink 이충훈; Lee, Choong-Hoon; et al, 한국과학기술원, 1998 |
2430 | 퍼지 네트워크를 이용한 사용자 모델링 = User preference modeling using fuzzy networkslink 윤주영; Yoon, Joo-Young; et al, 한국과학기술원, 1998 |
2431 | 퍼지 데이터 분석을 위한 퍼지 집합 연산의 대화형 시각화 = Interactive visualization of fuzzy set operations for the analysis of fuzzy datalink 박예슬; Park, Ye-Seul; et al, 한국과학기술원, 2010 |
2432 | 퍼지 선택 관계대수에 근거한 질의 처리기의 설계와 구현 = Design and implementation of a query processor based on fuzzy selective relational algebralink 이도헌; Lee, Do-Heon; et al, 한국과학기술원, 1992 |
2433 | 퍼지 제어를 이용한 지하철 운행제어에 관한 연구 = A study on the subway regulation based on fuzzy controllink 이승수; Lee, Seung-Soo; et al, 한국과학기술원, 1998 |
2434 | 퍼지 조건연산자의 비교연구 : 엘리베이터 시스템의 응용 = A comparative study of fuzzy implication operators : an application to elevator systemslink 송윤선; Song, Yoon-Seon; et al, 한국과학기술원, 1992 |
2435 | 퍼지신경망을 이용한 퍼지규칙의 학습 = Learning of fuzzy rules by fuzzy neural networkslink 곽동훈; Kwak, Dong-Hoon; et al, 한국과학기술원, 1994 |
2436 | 퍼지적분을 이용한 곡조인식 시스템의 설계와 구현 = Design and implementation of song recognition system using fuzzy integrallink 장준영; Jang, Jun-Yeong; et al, 한국과학기술원, 1996 |
2437 | 퍼지화된 지문의 융선 추적을 이용한 특징점 추출 = New minutiae extraction method using ridge tracing on fuzzified fingerprintlink 이기영; Lee, Ki-Young; et al, 한국과학기술원, 2002 |
2438 | 페이지 단위 소프트웨어 분산 공유 메모리의 홈 기반 프로토콜의 개선 = An improvement of home-based protocol on page-based software distributed shared memorylink 김도형; Kim, Do-Hyung; et al, 한국과학기술원, 1999 |
2439 | 페트리 네트에 기반을 둔 분산 소프트웨어 프로세스 모델의 분석에 관한 연구 = A study on the analysis of a distributed software process model based on petri-netslink 이우진; Lee, Woo-Jin; et al, 한국과학기술원, 1994 |
2440 | 펜 기반 지능형 연립방정식 교육 시스템의 설계 및 구현 = Design and implementation of pen-based intelligent tutoring system for simultaneous equationslink 이재승; Lee, Jae-Seung; et al, 한국과학기술원, 2010 |
2441 | 펜을 사용한 산수 교사 시스템의 설계 및 구현 = Design and implementation of a pen-based airthmetic tutoring systemlink 김선만; Kim, Seon-Man; et al, 한국과학기술원, 1992 |
2442 | 편광기반 측위 기술의 적용공간 확장을 위한 시분할 다중화 기법 연구 = Time-division multiplexing for space extension of polarized light sensing-based positioning systemlink 전현기; 허재혁; et al, 한국과학기술원, 2019 |
2443 | 편재된 데이타에 적합한 병렬 해쉬 결합 알고리즘 = A skew robust parallel hash join algorithmlink 김경용; Kim, Kyung-Yong; et al, 한국과학기술원, 1992 |
2444 | 평면 특징으로 키프레임 기반 슬램에서 환경의 기하학구조 발견 = Discovering scene geometry in keyframe-based slam with planar featureslink 유재상; Yoo, Jae-Sang; et al, 한국과학기술원, 2010 |
2445 | 평형 상태로의 수렴을 보장하는 병렬 Hopfield 신경망에 관한 연구 = A study on the parallel hopfield neural network with stable-state convergence propertylink 박찬희; Park, Chan-Hee; et al, 한국과학기술원, 1993 |
2446 | 포만트 합성기 제어파라미터의 추출을 위한 반음절 데이타 세트의 분석 = A study on extraction of control parameters for formant synthesizer in demisyllable data setlink 이정석; Lee, Jung-Suk; et al, 한국과학기술원, 1993 |
2447 | 포커스를 이용한 자연 영상의 문자 추출 = Scene text extraction with focuslink 김이결; Kim, E-Gyul; et al, 한국과학기술원, 2009 |
2448 | 폼을 입력으로한 개념적 데이타베이스 설계 시스템의 설계 및 구현 = Design and implementation of form-based conceptual database design systemlink 안재천; An, Jae-Chun; et al, 한국과학기술원, 1990 |
2449 | 품사 패턴을 이용한 한국어 병렬 구문의 해석 = Analysis of coordinate noun phrase using part-of-speech patternlink 박준식; Park, Jun-Sik; et al, 한국과학기술원, 1998 |
2450 | 프레젠테이션 메타데이터를 이용한 IoT 브라우징 아키텍처 = Browsing architecture with presentation meta-data for internet of thingslink 배성호; Bae, Sung-Ho; et al, 한국과학기술원, 2011 |
2451 | 프로그래머의 동작 순서 정보를 이용하는 N-그램 모델 기반의 변경 추천 시스템 = N-gram model based change recommendation system that utilizes information of programmers' interaction orderlink 김태현; 강성원; et al, 한국과학기술원, 2017 |
2452 | 프로그래밍 교육 시스템에서의 교과과정 기술과 교수 모듈의 설계 및 구현 = Curriculum description and design of tutoring module for programming tutoring systemlink 탁기연; Tak, Ki-Youn; et al, 한국과학기술원, 1995 |
2453 | 프로그램 변형과 상태 전이도를 이용한 C 프로그램의 자료 흐름 분석 = Data flow analysis of the C programs using program transformation and the state transition diagramlink 소선섭; So, Sun-Sup; et al, 한국과학기술원, 1988 |
2454 | 프로그램 수행 경로와 자료 흐름 정보에 기반을 둔 새로운 복잡도 척도에 관한 연구 = A new hybrid complexity measure based on program path and data flow informationlink 이호경; Lee, Ho-Kyoung; et al, 한국과학기술원, 1989 |
2455 | 프로그램의 팀 디버깅을 위한 동시성 제어 = Concurrency control for program team debugginglink 이덕순; Lee, Deog-Soon; et al, 한국과학기술원, 1994 |
2456 | 프로비니어스 사상과 일괄처리 기법을 이용한 최적확장체 위에서의 타원곡선 고속 상수배 연산 = Fast elliptic curve scalar multiplication on OEF using frobenius map and batch techniquelink 정병천; Chung, Byung-Chun; et al, 한국과학기술원, 2001 |
2457 | 프로세스 프로그래밍에 기반을 둔 소프트웨어 테스팅 환경의 설계 = Design of a software testing environment based on process programminglink 강성국; Khang, Seong-Kook; et al, 한국과학기술원, 1993 |
2458 | 프로토콜 검증장치에 관한 연구 = A study on protocol test facilitylink 한기수; Han, Ki-Soo; et al, 한국과학기술원, 1986 |
2459 | 프록시를 이용한 모빌 호스트에서의 세션의 연속성 제공 = Using proxy to provide continuous session for mobile hostlink 양재호; Yang, Jae-Ho; et al, 한국과학기술원, 1995 |
2460 | 프롤로그 프로그래밍을 위한 개선된 디버거 = An improved debugger for prolog programminglink 허남철; Huh, Nam-Chul; et al, 한국과학기술원, 1988 |
2461 | 프롤로그 프로세서의 설계 및 예비 성능 평가 = Design and preliminary evaluation of a prolog processorlink 정재훈; Chung, Jai-Hoon; et al, 한국과학기술원, 1988 |
2462 | 프롤로그를 이용한 게이트 수준 논리 회로 합성에 관한 연구 = A study on gate level logic circuit synthesis using prologlink 안종철; Ahn, Jong-Chul; et al, 한국과학기술원, 1989 |
2463 | 프롤로그와 관계 데이타베이스 시스템의 연결에 있어 순환법칙 처리방법에 관한 연구 = A recursion handling method in interfacing prolog with relational data base systemslink 김명균; Kim, Myoung-Gyun; et al, 한국과학기술원, 1986 |
2464 | 플래시 파일 시스템을 위한 메모리 효율적인 디렉토리 구조 = A memory efficient directory structure for flash file systemslink 임혜연; Yim, Hye-Yeon; et al, 한국과학기술원, 2007 |
2465 | 플로우 행동 정보를 이용한 기계 학습 기반의 인터넷 트래픽 분류에 관한 연구 = Internet traffic classification method based on machine learning using flow behavioral informationlink 이종건; Lee, Jong-Gun; et al, 한국과학기술원, 2007 |
2466 | 피아노 교사 시스템의 설계 및 구현에 관한 연구 = A study on design and implementation of piano tutoring systemlink 허준혁; Heo, Jun-Hyeok; et al, 한국과학기술원, 1994 |
2467 | 피어-투-피어 네트워크에서 다중 소스 파일 전송을 위한 소스 선택 기법 = Source selection for multi-source downloading in peer-to-peer networkslink 이승학; Lee, Seung-Hak; et al, 한국과학기술원, 2003 |
2468 | 피어-투-피어 모델을 이용한 파일 전송을 위한 캐시 시스템 = Peer-to-peer supported cache system for file transferlink 이준복; Lee, Joon-Bock; et al, 한국과학기술원, 2003 |
2469 | 픽셀 응집도 특성을 이용한 병렬 광선 추적법에 관한 연구 = A study on the rarallel ray-tracing scheme exploiting the pixel coherencelink 박배경; Park, Bae-kyung; et al, 한국과학기술원, 1993 |
2470 | 필기 수식 인식을 위한 일관성 기반의 문맥 활용 = Utilizing consistency-based context for handwritten math expression recognitionlink 김강; Kim, Kang; et al, 한국과학기술원, 2009 |
2471 | 필터링을 이용한 유전자 데이터베이스 고속 검색 기법 = High speed DNA database search using filteringlink 김진수; Kim, Jin-Soo; et al, 한국과학기술원, 2002 |
2472 | 하드웨어 기반의 안전한 실행환경을 사용한 키-밸류 스토어 보안 = Security Support for Key-value Store with a HW-based Isolated Execution Environmentlink 전승흔; 허재혁; et al, 한국과학기술원, 2017 |
2473 | 하드웨어 캐시 분할을 이용한 캐시 경쟁 완화 = Reducing cache contentions using hardware cache partitioninglink 이강욱; Lee, Gang-Uk; et al, 한국과학기술원, 2014 |
2474 | 하드웨어/소프트웨어 동시검증을 위한 합성 가능한 인터페이스 검증 기법 = Synthesizable interface verification for hardware/software co-verificationlink 이재호; Lee, Jae-ho; et al, 한국과학기술원, 2008 |
2475 | 하아드웨어로 수행하는 문장처리 시스팀 설계 = Hardware-oriented text processing system designlink 이흥규; Lee, Heung-Kyu; et al, 한국과학기술원, 1981 |
2476 | 하아퍼미디어 항해방식을 이용한 관계형 데이타베이스 검색기법 = A hypermedia navigation retrieval mechanism foe relational databaseslink 정병희; Jung, Byung-Hee; et al, 한국과학기술원, 1996 |
2477 | 하이퍼큐브 시스템에서 크기 비율에 무관한 새로운 병렬 결합 알고리즘 = A robust parallel join algorithm on hypercube computerslink 임병모; Im, Byoung-Mo; et al, 한국과학기술원, 1993 |
2478 | 하이퍼큐브 시스템에서 휴리스틱을 이용한 프로세서 할당 방법에 관한 연구 = A study on the heuristic processor allocation strategy in hypercube systemslink 윤수영; Yoon, Su-Young; et al, 한국과학기술원, 1991 |
2479 | 하이퍼큐브에서의 간단한 해밀토니안 분할 방법 = Simple construction of hamiltonian decomposition in hypercubeslink 여준기; Lyuh, Chun-Gi; et al, 한국과학기술원, 2000 |
2480 | 하이퍼큐브에서의 작업스케쥴링을 위한 휴리스틱 알고리즘 = Some heuristics for job scheduling on hypercubelink 한지연; Han, Ji-Yon; et al, 한국과학기술원, 1992 |
2481 | 하이퍼큐브의 최적화 배치의 분석 = Analysis of the optimal layouts of hypercubeslink 안금혁; Ahn, Keum-Hyug; et al, 한국과학기술원, 1991 |
2482 | 학습 기능을 이용한 필기 한글 인식 = Hand-written hangul recognition using a learning mechanismlink 하진영; Ha, Jin-Young; et al, 한국과학기술원, 1989 |
2483 | 한-영 기계 번역에서의 예문을 이용한 변환 = Example-based transfer on Korean-English machine translationlink 김종혁; Kim, Jong-Hyeog; et al, 한국과학기술원, 1995 |