Showing results 10021 to 10040 of 15971
STATIC FILTERING ON STRATIFIED PROGRAMS CHANG, BM; Choe, Kwang-Moo; Han, Taisook, INFORMATION PROCESSING LETTERS, v.47, no.5, pp.237 - 244, 1993-10 |
Static Insertion of Safe and Effective Memory Reuse Commands into ML-like Programs Lee, O; Yang, Hongseok; Yi, K, SCIENCE OF COMPUTER PROGRAMMING, v.58, no.1-2, pp.141 - 178, 2005-10 |
Static transformation for heap layout using memory access patterns = 메모리 접근 패턴을 활용한 힙구성의 정적 변환link Jeon, Jin-Seong; 전진성; et al, 한국과학기술원, 2007 |
Statistical character structure modeling and its application to handwritten Chinese character recognition Kim, IJ; Kim, JinHyung, IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, v.25, no.11, pp.1422 - 1436, 2003-11 |
Statistical Investigation on Class Mutation Operators Ma, Yu-Seung; Kwon, Yong Rae; Kim, Sang-Woon, ETRI JOURNAL, v.31, no.2, pp.140 - 150, 2009-04 |
Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation Kim, Youngjoo; Kim, Moonzoo; Kim, Tai Hyo, Haifa Verification Conference (HVC), IBM Research Haifa, 2012-11-07 |
A Statistical Model for Automatic Extraction of Korean Transliterated oh, Jong-hun; Choi, Key-Sun, A maximum entropy approach to natural language processing, Vol. 16, No. 1, pp. 41–62, World Scientific Publishing, 2003-03 |
Statistical Morphological Analysis Choi, Key-Sun; Han, YS, Korea-US Bilateral Workshop on Computers, Artificial Intelligence and Cognitive Science, pp.280 - 286, 1991 |
Statistical program dependence approximation = 통계적 프로그램 의존성 분석link Lee, Seongmin; Yoo, Shin; et al, 한국과학기술원, 2022 |
Statistical Utilization of Structural Neighborhood Information for Oriental Character Recognition Kim, JinHyung; Kim , IJ, Fourth IAPR International Workshop on Document Analysis Systems, pp.13 - 15, 2000-12 |
Statistical Verification Framework for Platooning System of Systems with Uncertainty Hyun, Sangwon; Song, Jiyoung; Shin, Seungchyul; Bae, Doo-Hwan, 26th Asia-Pacific Software Engineering Conference (APSEC), pp.212 - 219, IEEE, 2019-12 |
Statistical verification using learned usages for evaluating energy-efficient mobile device design Song, Jiyoung; Jung, Youlim; Cho, Chiwoo; Jee, Eunkyoung; Bae, Doo-Hwan, 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022, pp.960 - 963, Association for Computing Machinery, 2022-04-25 |
Status and Social Dynamics in Online Games Park, Kunwoo; Cha, Meeyoung; Park, Juyong; Chen, Kuan Ta, International Conference on Computational Social Science, Alto University, 2015-06-10 |
Status of APAN(Asia-Pacific Advanced Network) Chon, Kil Nam, 25th Asian Info-communications Council conference, pp.182 - 194, 2001 |
Status of Software Engineering and Software Programmes in Korea Kwon, Yong Rae, Proc. 10th. Int'l Conf. Software Engineering, pp.453 -, 1988 |
Steering of Real-Time Systems Based on Monitoring and Checking Sokolsky, Oleg; Kannan, Sampath; Kim, Moonzoo; Lee, Insup; Viswanathan, Mahesh, Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999. , pp.11 - 18, International Workshop on Object-Oriented Real-Time Dependable Systems, 1999-03-23 |
STEGANALYSIS METHOD DEFEATING THE MODIFIED PIXEL-VALUE DIFFERENCING STEGANOGRAPHY Bui, Cong Nguyen; Lee, Hae-Yeoun; Joo, Jeong-Chun; Lee, Heung-Kyu, INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, v.6, pp.3193 - 3203, 2010-07 |
Steganalysis scheme using the difference image of calibrated sub-sampling Joo, Jeong-Chun; Oh, Tae-Woo; Choi, Jung-Ho; Lee, Heung-Kyu, 6th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIHMSP 2010, v.0, no.0, pp.51 - 54, IEEE, 2010-10-15 |
Steganalytic measures for the steganography using pixel-value differencing and modulus function Joo, JC; Lee, HY; Bui, CN; Yoo, WY; Lee, Heung-Kyu, 9th Pacific Rim Conference on Multimedia, PCM 2008, pp.476 - 485, PCM, 2008-12-09 |
Step-Indexed Kripke Models over Recursive Worlds Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Stovring, Kristian; Thamsborg, Jacob; Yang, Hongseok, ACM SIGPLAN NOTICES, v.46, no.1, pp.119 - 131, 2011-01 |
Discover