Browse "School of Computing(전산학부)" by Title
Showing results 7861 to 7880 of 15971
| On the Protocol Validation and Verification B.M. Kim; H. Yoon, INFORMATION NETWORK REVIEW, KISS, v.4, no.2, pp.27 - 40, 1990-12 |
| ON THE REDUCTION OF LR(K) PARSERS PARK, WJ; LEE, MJ; Choe, Kwang-Moo, INFORMATION PROCESSING LETTERS, v.47, no.5, pp.245 - 251, 1993-10 |
| On the reduction of LR(k) parsers = LR(k)구문분석기의 축소에 관한 연구link Park, Woo-Jun; 박우전; et al, 한국과학기술원, 1993 |
| On the routing-aware peering against network-eclipse attacks in Bitcoin Tran, Muoi; Shenoi, Akshaye; Kang, Min Suk, 30th USENIX Security Symposium, pp.1253 - 1270, USENIX Association, 2021-08-11 |
| On the scalability of many-to-many reliable multicast sessions Yoon, WY; Lee, DongMan; Youn, HY, CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, v.16, no.13, pp.1353 - 1363, 2004-11 |
| On the Security of NTRUSign signature scheme Kim, Kwangjo; Min, SJ; Yamamoto, G, SCIS04, pp.625 - 630, SCIS, 2004-01 |
| On the Security of RFID Group Scanning Protocols Dang, DN; Kim, Kwangjo, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E93D, pp.528 - 530, 2010-03 |
| On the Security of Zhang-Wu-Wang's Forward-Secure Group Signature Scheme in ICICS'03 Wang, P; Chen, X; Kim, Kwangjo, 2004년도 한국정보보호학회 하계정보보호학술대회, pp.0 - 0, Korea Institute of Information Security & Cryptology, 2004-06 |
| On the Semantic Constraints of Terms through Characteristic Predicates Selection in Domain-specific Corpus Bae, Hee-Sook; Paik, Haeseung; Seo, Chung-Won; Kim, Jae-Ho; Choi, Key-Sun, TKE, 2002-08 |
| On the semantics of refinement calculi Yang, Hongseok; Reddy, US, FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, v.1784, pp.359 - 374, 2000 |
On the Social-Relational Moral Standing of Al: An Empirical Study Using Al-Generated Art Lima, Gabriel; Zhunis, Assem; Manovich, Lev; Cha, Meeyoung, FRONTIERS IN ROBOTICS AND AI, v.8, 2021-08 |
| On the Sustainability of Bitcoin Partitioning Attacks Ha, jaehyun; Baek, Seungjin; Tran, Muoi; Kang, Min Suk, Financial Cryptography and Data Security 2023, International Financial Cryptography Association, 2023-05-03 |
| On the Trade-off of Route Discovery Latency and Optimal Routes in Reactive Routing Protocols Nguyen, Duc-Dzung; Kim, Myungchul, IEEE International Conference on Advanced information Networking and Applications, pp.464 - 471, IEEE, 2008-03-25 |
| On the use of channel-attentive MFCC for robust recognition of partially corrupted speech Cho, HY; Oh, Yung-Hwan, IEEE SIGNAL PROCESSING LETTERS, v.11, no.6, pp.581 - 584, 2004-06 |
| On the Use of Variational Inference for Learning Discrete Graphical Models Yang, Eunho; Ravikumar, Pradeep, International Conference on Machine Learning (ICML), The International Machine Learning Society, 2011-06-28 |
| On the value of outlier elimination on software effort estimation research Seo, Yeong-Seok; Bae, Doo-Hwan, EMPIRICAL SOFTWARE ENGINEERING, v.18, no.4, pp.659 - 698, 2013-08 |
| On Uncerainty Handling in Plausible Reasoning with Conceptual Graphs Myaeng, Sung Hyon; Khoo, C, The 7th Annual Workshop on Conceptual Structures: Theory and Implementation, pp.137 - 147, 1992-07 |
| On Uncertainty Handling in Plausible Reasoning with Conceptual Graphs Myaeng, Sung Hyon; Khoo, C., 7th Conceptual Graphs Workshop, pp.137 - 147, 1993 |
| On understanding and improving automated unit-level test generation for C++ programs = C++ 프로그램의 유닛 테스트 자동 생성 기술 분석 및 개선link Herlim, Robert Sebastian; Kim, Moonzoo; et al, 한국과학기술원, 2022 |
| On User Interface Design Using Contact Sensors Kim, Kee-Eung, 한국HCI학회, pp.0 - 0, 2005-02-01 |
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