Showing results 5741 to 5760 of 7498
Verisim: Formal Analysis of Network Simulations Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonzoo; Lee, Insup; Obradovic, Davor, International Symposium on Software Testing and Analysis, pp.2 - 13, ACM, 2000-08-01 |
Verisim: Formal Analysis of Network Simulations Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonjoo; Lee, Insup; Obradovic, Davor; Sokolsky, Oleg; Viswanathan, Mahesh, 2011-01-18 |
Vertical Decomposition of a Single Cell in a Three-Dimensional Arrangement of Surfaces and its Applications Sharir, Micha; Cheong, Otfried, 12th Annual ACM Symposium on Computational Geometry (SoCG) 1996, pp.20 - 29, 1996-05-24 |
VIA(Virtual Interface Architecture)를 기반으로 하는 소프트웨어 분산공유메모리 시스템의 설계 및 구현 맹승렬; 박소연; 김영재; 이상권, 한국정보과학회 학술대회, pp.0 - 0, 한국정보과학회, 2002-04-01 |
Victory: Versatile Internet of Things Application on Dynamic Mobile Service Composition Framework Woo, Sungpil; Heo, Sehyeon; Im, Janggwan; Kim, Daeyoung, The 4th International Conference on Internet of Things, MIT, 2014-10-08 |
Video Coding with Wavelet Transform on the PSTN Kim, S.W.; Jeon, J.H.; Lee, Heung-Kyu, IEEE, Proc. of JTC-CSCC, pp.315 - 320, 1994-07 |
Video Coding with Wavelet Transform on the Very Low Bit Rate Communication Channel Kim, SW; Lee, Heung-Kyu, IST&T/SPIE, Proc. of Digital Video Compression and Processing on PersonalComputers: Algorithms and Technologies, pp.309 - 320, 1994-02 |
Video Coding with Wavelet Transform on the Very Low Bit Rate Communication Channel Kim, S.W.; Lee, Heung-Kyu, 초저속 전송을 위한 영상통신 기술 Workshop '93, 한국통신 연구개발단., pp.179 - 192, 한국통신 연구개발단, 1993-11 |
Video Watermarking on Overlay Layer Lee, Ji-Won; Oh, Tae-Woo; Lee, Min-Jeong; Lee, Heung-Kyu; Lee, Hae-Yeoun, 7th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing, IEEE, 2011-10-14 |
Vienna Definition Language를 이용하여 자료흐름도로부터 실행가능한 Specification을 구성하는 방법 권용래, 한국정보과학회 학술발표논문집 제 1 4권 1호, 1987 |
View-consistent 4D Light Field Depth Estimation Khan, Numair; Kim, Min Hyuk; Tompkin, James, British Machine Vision Conference (BMVC 2020), British Machine Vision Association (BMVA), 2020-09-10 |
View-consistent 4D Light Field Superpixel Segmentation Khan, Numair; Zhang, Qian; Kasser, Lucas; Stone, Henry; Kim, Min Hyuk; Tompkin, James, IEEE/CVF International Conference on Computer Vision (ICCV), pp.7810 - 7818, IEEE, 2019-11-01 |
View-dependent Scene Appearance Synthesis using Inverse Rendering from Light Fields Kang, Dahyun; Jeon, Daniel; Kim, Hakyeong; Jang, Hyeonjoong; Kim, Min Hyuk, 2021 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL PHOTOGRAPHY (ICCP), IEEE, 2021-05-24 |
Viewpoint-Invariant Face Recognition Based on View-Based Representation Chung, Jinyun; Lee, Juho; Park, Hyun Jin; Yang, Hyun Seung, 2006 International Conference on Intelligent Computing, Page 872-878, 2006 |
Vigilare: Toward Snoop-based Kernel Integrity Monitor Moon, Hyun Gon; Lee, Ho Joon; Lee, Ji Hoon; Kim, Ki Hwan; Paek, Yun Heung; Kang, Brent Byunghoon, 2012 ACM Conference on Computer and Communications Security, CCS 2012, pp.28 - 37, ACM Special Interest Group on Security, Audit and Control (SIGSAC), 2012-10-16 |
VIP: Virtual performance-state for efficient power management of virtual machines Kang, Ki-Dong; Alian, Mohammad; Kim, Daehoon; Huh, Jaehyuk; Kim, Nam Sung, 2018 ACM Symposium on Cloud Computing, SoCC 2018, pp.237 - 248, Association for Computing Machinery, Inc, 2018-10 |
Virtual bone drilling for dental implant surgery training Kim, K.; Park, Jinah, VRST 2009 - 16th ACM Symposium on Virtual Reality Software and Technology, pp.91 - 94, 2009-11-18 |
Virtual Bone Drilling for Dental Implant Training - Bone Drilling Simulation with Haptic Feedback Kim, K; Park, Jinah, ASIAGRAPH 2008 in Tokyo, 2008-10-23 |
Virtual DANS Kim, Daeyoung; Jung, T; Ahn, S; Son, E; Kim, J; Park, H, Microtec User Conference, pp.0 - 0, 1995-04 |
Virtual Dental Simulator for Cavity Filling Training Cho, J; Park, Jinah, 제4회 한국 햅틱스 연구회 워크샵, 한국 햅틱스 연구회, 2010-11-27 |
Discover