Showing results 5301 to 5320 of 16112
Forensic tracking watermarking against in-theater piracy Lee, MJ; Kim, KS; Lee, Heung-Kyu, 11th International Workshop on Information Hiding, IH 2009, pp.117 - 131, Springer Verlag, 2009-06-08 |
Forensic tracking watermarking for digital cinema = 디지털 시네마 보호를 위한 포렌식 트래킹 워터마킹link Lee, Min-Jeong; 이민정; et al, 한국과학기술원, 2011 |
ForestDB: A Fast Key-Value Storage System for Variable-Length String Keys Ahn, Jung Sang; Seo, Chiyoung; Mayuram, Ravi; Yaseen, Rahim; Kim, Jin-Soo; Maeng, Seungryoul, IEEE TRANSACTIONS ON COMPUTERS, v.65, no.3, pp.902 - 915, 2016-03 |
Forged Region Detection for Scanned Images Choi, Chang-Hee; Lee, Min-Jeong; Hyun, Dai-Kyung; Lee, Heung-Kyu, 3rd Int. Conf. on Computer Science and Its Applications, Springer-Veralg, 2011-12-12 |
Forgery Detection for Surveillance Video Hyun, Dai-Kyung; Lee, Min-Jeong; Ryu, Seung-Jin; Lee, Hae-Yeoun; Lee, Heung-Kyu, Pacific-Rim Conference on Multimedia, Springer-Verlag, 2011-12-20 |
Forgery detection for surveillance video based on sensor pattern noise = 센서 패턴 노이즈의 기반 감시 영상 조작 검출 기술link Hyun, Dai Kyung; 현대경; et al, 한국과학기술원, 2015 |
Form to Flow: Exploring Challenges and Roles of Conversational UX Designers in Real-world, Multi-channel Service Environments Heo, Jeongyun; Lee, Uichin, Proceedings of the ACM on Human-Computer Interaction, v.7, no.CSCW2, 2023-10 |
Formal analysis framework for lossy interface adapter chaining = 손실이 있는 인터페이스 어댑터 체인의 수학적 분석link Chung, Yoo- Chul; 정유철; et al, 한국과학기술원, 2010 |
Formal analysis of efficient multicast in IP networks = 인터넷에서의 효율적인 멀티캐스트에 관한 연구link Kim, Chang-Han; 김창한; et al, 한국과학기술원, 2007 |
Formal construction and verification of home service robots: A case study Kim, Moonzoo; Kang, KC, AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.3707, pp.429 - 443, 2005 |
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multirobot Coordination Alur, Rajeev; Esposito, Joel M.; Kim, Moonzoo; Kumar, Vijay; Lee, Insup, World Congress on Formal Methods, pp.212 - 232, World Congress on Formal Methods, 1999-09-20 |
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances Kim, Moonzoo, ATVA, 2007 |
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances Kim, Moonzoo, International Symposium on Automated Technology for Verification and Analysis, pp.489 - 500, ATVA, 2007-10-24 |
Formal Representation of Guarded Logic Programs Using Petri Net Model 정인정; 이흥규, Proc. of the 20th Korea Information Science Society Fall Conf., v.20, no.2, pp.1081 - 1084, 한국정보과학회, 1993 |
Formal Specification of a JavaScript Module System Kang, Seonghoon; Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.47, no.10, pp.621 - 638, 2012-10 |
Formal specification of a JavaScript module system = JavaScript 모듈 시스템의 정형 명세link Kang, Seonghoon; 강성훈; et al, 한국과학기술원, 2012 |
Formal specification of a JavaScript module system Kang, Seonghoon; Ryu, Sukyoung, ACM international conference on Object oriented programming systems languages and applications, ACM SIGPLAN, 2012-10-26 |
Formal synthesis of application and platform behaviors of embedded software systems Kim, Jinhyun; Kang, Inhye; Choi, Jin-Young; Lee, Insup; Kang, Sungwon, SOFTWARE AND SYSTEMS MODELING, v.14, no.2, pp.839 - 859, 2015-05 |
Formal verification of a flash memory device driver - An experience report Kim, Moonzoo; Choi, Yunja; Kim, Yunho; Kim, Hotae, 15th International SPIN Workshop on Model Checking of Software, SPIN 2008, pp.144 - 159, SPIN, 2008-08-10 |
Formal verification of Chase-Lev deque in concurrent separation logic = 동시성 분리논리를 사용한 Chase-Lev 덱의 엄밀한 검증link Choi, Jaemin; 최재민; et al, 한국과학기술원, 2023 |
Discover