Showing results 5061 to 5080 of 7391
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 |
Statistical Morphological Analysis Choi, Key-Sun; Han, YS, Korea-US Bilateral Workshop on Computers, Artificial Intelligence and Cognitive Science, pp.280 - 286, 1991 |
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 |
STButton: Exploring Opportunities for Buttons with Spatio-Temporal Tactile Output Yeonsu, Kim; Yim, Jisu; Kim, Jaehyun; Kim, Kyunghwan; Lee, Geehyuk, 2024 CHI Conference on Human Factors in Computing Sytems, CHI EA 2024, Association for Computing Machinery, 2024-05-11 |
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 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 |
Stereo Fusion using a Refractive Medium on a Binocular Base Baek, Seung-Hwan; Kim, Min Hyuk, The 12th Asian Conference on Computer Vision (ACCV 2014), pp.503 - 518, Asian Federation of Computer Vision (AFCV), 2014-11 |
Stereoscopic Watermarking by Horizontal Noise Mean Shifting Lee, Ji-Won; Kim, Hee-Dong; Choi, Hak-Yeol; Choi, Sung-Hee; Lee, Heung-Kyu, Electroic Imaging : Media Watermarking, Security, and Forensics XIV, Electroic Imaging : Media Watermarking, Security, and Forensics XIV, 2012-01-22 |
Stereotype-based Semantic Expansion for Image Retrieval Lee, Jungin; Kwon, OSung; Lee, Youngwoon; Yoon, Sung-Eui, IEEE International Conference on Multimedia and Expo, IEEE, 2013-07-18 |
Sticky goals: Understanding goal commitments for behavioral changes in the wild Lee, Hyunsoo; Kim, Auk; Hong, Hwajung; Lee, Uichin, 10th International Conference on Materials Processing and Characterisation, ICMPC 2020, Association for Computing Machinery, 2021-02 |
Sticky Goals: Understanding Goal Commitments for Behavioral Changes in the Wild Lee, Hyunsoo; Kim, Auk; Hong, Hwajung; Lee, Uichin, 2021 CHI Conference on Human Factors in Computing Systems, pp.1 - 16, Association for Computing Machinery, 2021-05-08 |
Stochastic Blockmodel with Cluster Overlap, Relevance Selection, and Similarity-Based Smoothing Whang, Joyce Jiyoung; Rai, Piyush; Dhillon, Inderjit S., IEEE 13th International Conference on Data Mining (ICDM), pp.817 - 826, IEEE, 2013-12 |
Strand-accurate Multi-view Hair Capture Nam, Giljoo; Wu, Chenglei; Kim, Min Hyuk; Sheikh, Yaser, 32nd IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), pp.155 - 164, IEEE, 2019-06-16 |
Strata: A Cross Media File System Kwon, Youngjin; Peter, Simon; Fingler, Henrique; Witchel, Emmett; Hunt, Tyler; Anderson, Thomas, 26th ACM Symposium on Operating Systems Principles, SOSP 2017, pp.460 - 477, ACM Special Interest Group on Operating Systems (SIGOPS), 2017-10-31 |
Discover