| 1432 | V-경비 충분 다각형의 결정 알고리즘 = Decision algorithms for V-guard sufficient polygonslink 조병철; Jo, Byung-Cheol; et al, 한국과학기술원, 2002 |
| 1433 | VA 파일 성능의 분석과 향상 = Analysis and improvement of the VA-file performancelink 최승락; Choi, Seung-Lak; et al, 한국과학기술원, 1999 |
| 1434 | Validating IGE mode of block cipher from quantum adversaries = IGE 모드를 사용한 블록암호의 양자 안전성link Kim, Sungsook; Kim, Kwangjo; et al, 한국과학기술원, 2018 |
| 1435 | Variational interaction information maximization for cross-domain disentanglement = 도메인 간 은닉 공간 분리를 위한 변형 상호 작용 정보 최대화link Hwang, Hyeongjoo; Kim, Kee-Eung; et al, 한국과학기술원, 2020 |
| 1436 | VAX/VMS 의 성능 평가를 위한 queueing network 모형 = Queueing network model for the performance evaluation of VAX/VMSlink 최동훈; Choe, Dong-Whoon; et al, 한국과학기술원, 1983 |
| 1437 | vBPF : safely extending eBPF to enhance programmability and flexibility = vBPF: eBPF의 확장과 편의성을 위한 안전한 방법의 개발link Ahn, Junho; Kwon, Youngjin; et al, 한국과학기술원, 2023 |
| 1438 | VBR을 고려한 비디오 서버의 최적 자원 구성 = Optimal resource configuration of video servers considering VBRlink 조대현; Cho, Dae-Hyun; et al, 한국과학기술원, 2000 |
| 1439 | Verification of function block diagram through verilog translation = Verilog 변환을 이용한 FBD의 정형검증link Jeon, Seung-Jae; 전승재; et al, 한국과학기술원, 2007 |
| 1440 | Verified real computation = 검증된 실수 연산link Park, Se Won; Ziegler, Martin; et al, 한국과학기술원, 2017 |
| 1441 | Verifying well-definedness of variational objectives for probabilistic programs = 확률적 프로그램의 잘 정의된 변분 목적 함수 검증link Yu, Hangyeol; Yang, Hongseok; et al, 한국과학기술원, 2020 |
| 1442 | VIA 상의 커널 수준 소켓 계층 설계와 구현 = Design and implementation of a kernel-level sockets layer over virtual interface architecturelink 장재완; Jang, Jae-Wan; et al, 한국과학기술원, 2004 |
| 1443 | VICODE : 검증도구가 일체화된 동시설계환경 = VICODE : verification integrated co-design environmentlink 김건우; Kim, Gun-Woo; et al, 한국과학기술원, 2007 |
| 1444 | Video matting using multi-frame nonlocal matting laplacian = 다장면 비국부 매팅 라플라시안을 이용한 영상 매팅link Choi, In-Chang; 최인창; et al, 한국과학기술원, 2012 |
| 1445 | Video object detection and segmentation = 비디오 물체 탐지와 세그먼테이션link Bruno, Andries; Hwang, Sung Ju; et al, 한국과학기술원, 2020 |
| 1446 | Video-guided facial animation = 비디오 기반 얼굴 애니메이션link Yoo, Sang-Wook; 유상욱; et al, 한국과학기술원, 2008 |
| 1447 | Video-on-demand server retrieval scheduling to support scan operations = VOD 서버에서 고속의 화면 검색 기능을 지원하기 위한 리트리벌 스케쥴링 기법link Hyun, Jong-Woong; 현종웅; et al, 한국과학기술원, 1998 |
| 1448 | View-dependent scene appearance synthesis using inverse rendering from light fields = 라이트필드를 이용한 인버스 렌더링 기반 시점 의존적 외관 합성link Kang, Dahyun; Kim, Min H.; et al, 한국과학기술원, 2021 |
| 1449 | Viewpoint selection of treelike structures = 트리 구조의 뷰 포인트 선택 방법link Jang, Jaehyun; Park, Jinah; et al, 한국과학기술원, 2016 |
| 1450 | Virtual grasping of a whole hand model and adaptive force feedback method using a haptic device = 햅틱 인터페이스 기반 완전한 가상 손 모델의 그립 생성 및 적응적 힘 피드백 기법link An, Youngjin; Park, Jinah; et al, 한국과학기술원, 2019 |
| 1451 | Virtual machine scheduling for fast interrupt processing = 즉각적인 인터럽트 처리를 위한 하이퍼바이저 스케줄러 연구link Kim, Kun-Ho; 김건호; et al, 한국과학기술원, 2014 |
| 1452 | Virtualized security appliance based rootkit detection algorithm in cloud computing = 클라우드 컴퓨팅 환경에서의 VSA 기반 루트킷 탐지 시스템 연구link Hwang, Tong Wook; 황동욱; et al, 한국과학기술원, 2015 |
| 1453 | Visualization of the sparsely scattered data on the surface of the sphere = 구면상에서 희소하게 산재한 자료의 가시화link An, Seong-Jun; 안성준; et al, 한국과학기술원, 1991 |
| 1454 | VLSH: voronoi-based locality sensitive hashing = VLSH: 보로노이 기반 국지성 민감 해싱link Tieu Lin L Loi; Loi; et al, 한국과학기술원, 2013 |
| 1455 | VM escape 공격을 완화시키는 침입감내시스템 설계 = Intrusion tolerant system for mitigating VM escape attackslink 권현; Kwon, Hyun; et al, 한국과학기술원, 2015 |
| 1456 | Vocabgram : facilitating the development of productive vocabulary using videos = Vocabgram : 비디오를 통한 표현 어휘 학습link Jo, Kyung Je; Kim, Juho; et al, 한국과학기술원, 2020 |
| 1457 | Voronoi diagrams with transportation on the euclidean plane = 트랜스포테이션 모델에서의 보로노이 다이어그램link Bae, Sang-Won; 배상원; et al, 한국과학기술원, 2004 |
| 1458 | Voronol digram 과 euclidean minimum spanning tree 를 구하기 위한 on-line algorithm = On-line algorithms for voronol diagram and euclidean minimum spanning treelink 허성우; Hur, Sung-Woo; et al, 한국과학기술원, 1983 |
| 1459 | VSELP 부호화의 연산량 감소법에 관한 연구 = Complexity reduction methods for vector sum excited linear predictive codinglink 김승주; Kim, Sung-Joo; et al, 한국과학기술원, 1994 |
| 1460 | WADN : 웹 어플리케이션 전송 기법을 이용한 어플리케이션 서버의 동적 확장 방법 = WADN : a method for extending application servers dynamically using a Web application delivery mechanismlink 임민열; Lim, Min-Yeol; et al, 한국과학기술원, 2002 |
| 1461 | Walking trajectory planning for virtual humans = 가상인물의 보행을 위한 경로 계획link Choi, Min-Gyu; 최민규; et al, 한국과학기술원, 1998 |
| 1462 | Water-related disaster assessment using computer vision and satellite imagery = 위성영상과 딥러닝을 활용한 건물 피해 탐지 연구link Kim, Danu; Cha, Meeyoung; et al, 한국과학기술원, 2023 |
| 1463 | Wavelet-based progressive fast recompression technique for 3D large mesh data = 웨이블릿 기반 3차원 거대 그물망 데이터의 점진적 고속 재압축 기술link Kim, Yeonghun; Choi, Sunghee; et al, 한국과학기술원, 2020 |
| 1464 | Weakest precondition 분석을 이용한 다중 버전 소프트웨어에서의 공통 모드 고장 검출 = Detection of common mode failures in N-version software using weakest precondition analysislink 윤광식; Yoon, Gwang-Sik; et al, 한국과학기술원, 1997 |
| 1465 | Wearable hybrid interface for daily life application based on EEG and eye movement = 일상생활 활용을 위한 뇌파도 측정 및 시선 추적을 이용한 하이브리드형 웨어러블 인터페이스link Kim, yongwon; 김용원; et al, 한국과학기술원, 2015 |
| 1466 | Why not to use zero imputation? correcting sparsity bias in training neural networks = 제로 임퓨테이션의 희소성 편향 보정을 통한 인공 신경망의 누락 데이터 처리link Yi, Joonyoung; Yang, Eunho; et al, 한국과학기술원, 2020 |
| 1467 | Windows 프로그램의 동적 API 호출 트레이스를 이용한 기능 단위 버스마크 = A functional unit birthmark based on dynamic API call trace of windows programlink 조우영; Cho, Woo-Young; et al, 한국과학기술원, 2009 |
| 1468 | "Winner-take-all" 전략을 사용한 이중구조 유전자 알고리즘 = "Winner-take-all" strategy for diploid genetic algorithmslink 김영일; Kim, Young-Il; et al, 한국과학기술원, 1997 |
| 1469 | Word expert parsing 방법을 이용한 한국어 의미분석에 관한 연구 = A study on the korean meaning analyzer using the word expert parsing methodlink 홍남희; Hong, Nam-Hee; et al, 한국과학기술원, 1986 |
| 1470 | Write energy-aware management policies for STT-RAM caches = STT-RAM 캐시를 위한 쓰기 에너지 관리 기법link Kim, Hyeonggyu; 김형규; et al, 한국과학기술원, 2015 |
| 1471 | Write performance improvement for multi-chip based NAND flash storage system = 멀티칩 기반의 낸드 플래시 저장 시스템에서 쓰기 성능 향상 기법link Seol, Jin-Ho; 설진호; et al, 한국과학기술원, 2009 |
| 1472 | WWW 프락시 서버를 위한 적응형 캐쉬 교체 기법 = An adaptive cache replacement policy for WWW proxy serverlink 김미영; Kim, Mi-Young; et al, 한국과학기술원, 2001 |
| 1473 | WWW의 다중 참여자 3차원 브라우징 시스템 = Multiparticipant 3D browsing system on the WWWlink 황명규; Hwang, Myung-Gyu; et al, 한국과학기술원, 1996 |
| 1474 | WWW환경에서의 데이터베이스 게이트웨이 설계 및 구현 = Design and implementation of a database gateway in WWW environmentlink 문장원; Moon, Jang-Won; et al, 한국과학기술원, 1997 |
| 1475 | X77 모니터 프로그램 = The X77 monitor programlink 정균락; Chong, Kyun-Rak; et al, 한국과학기술원, 1980 |
| 1476 | XML schema로부터 관계형 스키마의 자동 생성 = Generating a relational schema automatically from an XML schemalink 김정섭; Kim, Jung-Sup; et al, 한국과학기술원, 2002 |
| 1477 | XML schema에 대한 유효성을 보장하는 ORDBMS에 저장된 XML 데이타 갱신 기법 = Updating method conforming to XML schema for XML data on ORDBMSlink 이지현; Lee, Ji-Hyun; et al, 한국과학기술원, 2004 |
| 1478 | XML 데이터베이스 시스템을 이용한 RDF 데이터 저장 및 검색 기법 = Storage and retrieval technique of RDF data using XML database systemlink 서명희; Seo, Myoung-Hee; et al, 한국과학기술원, 2003 |
| 1479 | XML을 이용한 다이어그램용 마크업 언어 = A diagram markup language using XMLlink 이명은; Lee, Myung-Eun; et al, 한국과학기술원, 2000 |
| 1480 | XPath 패턴들간의 준동형 정보의 유지 = Maintaining homomorphism information of XPath patternslink 유상현; Yoo, Sang-Hyun; et al, 한국과학기술원, 2004 |
| 1481 | XPL bootstrapinglink Seo, Yong-Moo; 서용무; et al, 한국과학기술원, 1980 |
| 1482 | XQuery의 SQL:2003으로의 효율적인 변환 = Efficient XQuery translation into SQL:2003link 김송현; Kim, Song-Hyon; et al, 한국과학기술원, 2005 |
| 1483 | ZMP에 기반한 이족 보행 로봇의 설계, 구현 및 실험 = Design, implementation and experiment of biped robot based on ZMPlink 최호연; Choi, Ho-Yeon; et al, 한국과학기술원, 2002 |
| 1484 | Zone-based dynamic source routing algorithm for mobile ad-hoc network = 이동 임시 비상 통신망에서의 구역 기반의 다이나믹 소스 라우팅 알고리즘link Noh, Yeon; 노연; et al, 한국과학기술원, 2000 |
| 1485 | μ*-Tree : an index structure for nand flash memory with adaptive page layout scheme = μ*-트리 : 적응적인 페이지 구획 기법을 사용하는 낸드 플래시 색인 구조link Ahn, Jung-Sang; 안정상; et al, 한국과학기술원, 2010 |
| 1486 | μ-FTL : a memory-efficient flash translation layer supporting multiple mapping granularities = μ-FTL : 다양한 사상 단위를 사용하는 메모리 효율적인 플래시 변환 계층link Lee, Yong-Goo; 이용구; et al, 한국과학기술원, 2009 |
| 1487 | 가드를 가지는 논리언어를 위한 병렬 수행기의 구현 = An implementation of the parallel evaluator for a guarded logic languagelink 이수현; Lee, Su-Hyun; et al, 한국과학기술원, 1989 |
| 1488 | 가변길이 속성을 지원하는 저장 시스템의 설계 및 구현 = Design and implementation of a storage system supporting variable length attributeslink 문양세; Moon, Yang-Sae; et al, 한국과학기술원, 1993 |
| 1489 | 가변길이 속성을 효율적으로 지원하는 주기억 장치 저장 시스템의 설계 및 구현 = Design and implementation of a main-memory storage system supporting variable-length attributeslink 김상래; Kim, Sang-Lae; et al, 한국과학기술원, 1996 |
| 1490 | 가변대역폭 전송영상의 온라인 대역폭 평탄화 = Online bandwidth smoothing of variable-bit-rate streaming videolink 손정현; Sohn, Jong-Hyon; et al, 한국과학기술원, 1999 |
| 1491 | 가상 머신 젠에서 지연 시간을 줄이기 위한 우선순위 스케줄링 기법 = Priority-based scheduling in xen for reducing latencylink 김동성; Kim, Dong-Sung; et al, 한국과학기술원, 2008 |
