Browse "School of Computing(전산학부)" by Title
Showing results 11181 to 11200 of 16084
| 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 |
| Vertical decomposition of a single cell in a three-dimensional arrangement of surfaces Cheong, Otfried; Sharir, M, DISCRETE & COMPUTATIONAL GEOMETRY, v.18, no.3, pp.269 - 288, 1997 |
| 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 |
| Very low bit rate speech coding based on temporal decomposition of line spectral frequencies = 선스펙트럼 주파수의 시간적 분해법에 기반한 극저전송률 음성부호화link Kim, Sung-Joo; 김승주; et al, 한국과학기술원, 2000 |
| Very low bit-rate speech coding using perceptual properties of human ear = 인간의 청각 특성을 이용한 극저전송률 음성 부호화link Han, Woo-Jin; 한우진; et al, 한국과학기술원, 2002 |
| VIA 상의 커널 수준 소켓 계층 설계와 구현 = Design and implementation of a kernel-level sockets layer over virtual interface architecturelink 장재완; Jang, Jae-Wan; et al, 한국과학기술원, 2004 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,837 2020 - 2024
- 5,390 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989