Browse "School of Computing(전산학부)" by Title
Showing results 11081 to 11100 of 15971
| VDCluster : 대용량 비디오 시퀀스를 위한 비디오 세그멘테이션 및 클러스터링 알고리즘 이석룡; 이주홍; 김덕환; 정진완, 정보과학회논문지 : 데이타베이스, v.29, no.3, pp.168 - 179, 2002-06 |
| VDR-AM: View-dependent representation of articulated models Claudio, Pio; Kim, Dohyeong; Kim, Taejoon; Yoon, Sung-Eui, Journal of WSCG, v.21, no.3, pp.183 - 192, 2013 |
| Vector Watermarking Robust to Both Global and Local Geometrical Distortions Im, Dong-Hyuck; Lee, Hae-Yeoun; Ryu, Seung-Jin; Lee, Heung-Kyu, IEEE SIGNAL PROCESSING LETTERS, v.15, pp.789 - 792, 2008 |
| Vehicle Speed Measurement System based on Wireless Sensor Network Yoo, S; Kim, T; Kim, T; Kim, Daeyoung; Changsub; Kyungbok, 대한임베디드공학회, 대한임베디드공학회, 2008-03 |
Vehicular Communications: Emergency Video Streams and Network Coding Park, Joon-Sang; Lee, Uichin; Gerla, Mario, JOURNAL OF INTERNET SERVICES AND APPLICATIONS, v.1, no.1, pp.57 - 68, 2010-03 |
| Verge-it: Gaze interaction for a binocular head-worn display using modulated disparity vergence eye movement ahn, sunggeun; Son, Jeongmin; Lee, Sangyoon; Lee, Geehyuk, 2020 ACM CHI Conference on Human Factors in Computing Systems, CHI EA 2020, Association for Computing Machinery, 2020-04-29 |
| Verification and testing methods for Statecharts = Statecharts를 위한 검증 및 테스팅 방법link Hong, Hyoung-Seok; 홍형석; et al, 한국과학기술원, 2001 |
| Verification of function block diagram through verilog translation = Verilog 변환을 이용한 FBD의 정형검증link Jeon, Seung-Jae; 전승재; et al, 한국과학기술원, 2007 |
| Verification of Graphemes Using Neural Networks for HMM-Based On-line Handwritten Hangul Syllable Recognition Kim, JinHyung; Cho, SJ, Proceeding of the First Tsinghua-KAIST Joint Workshop on Document Recognition, v.2, no.0, pp.18 - 24, International Journal of Computer Processing of Oriental Languages, 2002-03 |
| VERIFICATION OF GRAPHEMES USING NEURAL NETWORKS IN AN HMM-BASED ON-LINE KOREAN HANDWRITING RECOGNITION SYSTEM CHO, SJ; KIM, J; Kim, JinHyung, The 7th Int'l Workshop on Frontiers in Handwriting Recognition, pp.219 - 228, 2000-09 |
| Verification of intelligent network services by analyzing feature interactions using a petri net model = 페트리네트 모델을 사용한 서비스 상호작용 분석에 의한 지능망 서비스의 검증link Choi, Jeong-Hun; 최정훈; et al, 한국과학기술원, 2003 |
| Verification of Visual Characteristics of Complex Functions f_{\alpha, c} = z^\alpha + c Kim, YB; Kim, Hyoung Seok; Kim, HK; Kim, Hwang Soo; Kim, HO; Shin, Sung-Yong, Proc. Computer Graphics Int. '93, pp.345 - 357, 1993 |
| Verified real computation = 검증된 실수 연산link Park, Se Won; Ziegler, Martin; et al, 한국과학기술원, 2017 |
| Verifying a Software Architecture Reconstruction Framework with a Case Study Lee, Seonah; Kang, Sungwon, 2006 International Conference on Software Engineering and Knowledge Engineering (SEKE'2006), pp.0, SEKE'2006, 2011-08-10 |
| Verifying Communication Network Functionality through Protocol Testing Kang, Sungwon, International Conference on Software in Telecommunications and Computer Networks (SoftCOM'98), pp.0 - 0, 1998-10-01 |
| Verifying Safety of File-like Resources by Resource Allocation Matrix Eo, Hyunjun; Kang, Hyun-Goo; Choe, Kwang-Moo; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.387 - 392, 2005-06-01 |
| Verifying well-definedness of variational objectives for probabilistic programs = 확률적 프로그램의 잘 정의된 변분 목적 함수 검증link Yu, Hangyeol; Yang, Hongseok; et al, 한국과학기술원, 2020 |
| 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 |
| Verisim: Formal analysis of network simulations Bhargavan, K; Gunter, CA; Kim, Moonzoo; Lee, I; Obradovic, D; Sokolsky, O; Viswanathan, M, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.28, no.2, pp.129 - 145, 2002-02 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,745 2020 - 2024
- 5,391 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989