Browse "School of Computing(전산학부)" by Title 

Showing results 5241 to 5260 of 15954

5241
ForceDrag: using pressure as a touch input modifier

Heo, Seongkook; Lee, Geehyuk, The Annual Meeting of the Australian Special Interest Group for Computer Human Interaction, pp.204 - 207, ACM SIGCHI, 2012-11-28

5242
ForceTap: Extending the Input Vocabulary of Mobile Touch Screens by adding Tap Gestures

Heo, Seongkook; Lee, Geehyuk, The 13th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI 2011), pp.113 - 122, ACM, 2011-08-30

5243
Forecasting Building Electricity Power Consumption Using Deep Learning Approach

Lee, Young-Jun; Choi, Ho-Jin, 2020 IEEE International Conference on Big Data and Smart Computing, BigComp 2020, pp.542 - 544, IEEE,Korean Institute of Information Scientists and Engineers (KIISE), 2020-02-19

5244
Foreign Word Identification Using a Statistical Method for Information Retrieval

Kwon, YH; Jeong, KS; Myaeng, Sung Hyon, 17th International Conference on Computer Processing of Oriental Languages (ICCPOL 1997), pp.675 - 680, 1997-04

5245
Forensic Analysis of Autonomous System Reachability

Lee, DK; Moon, Sue Bok; Choi, Taesang; Jeong, Taesoo, ACM SIGCOMM 2006 - Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, pp.335 - 340, ACM Special Interest Group on Data Communication, 2006-09-11

5246
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

5247
Forensic tracking watermarking for digital cinema = 디지털 시네마 보호를 위한 포렌식 트래킹 워터마킹link

Lee, Min-Jeong; 이민정; et al, 한국과학기술원, 2011

5248
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

5249
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

5250
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

5251
Forgery detection for surveillance video based on sensor pattern noise = 센서 패턴 노이즈의 기반 감시 영상 조작 검출 기술link

Hyun, Dai Kyung; 현대경; et al, 한국과학기술원, 2015

5252
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

5253
Formal analysis framework for lossy interface adapter chaining = 손실이 있는 인터페이스 어댑터 체인의 수학적 분석link

Chung, Yoo- Chul; 정유철; et al, 한국과학기술원, 2010

5254
Formal analysis of efficient multicast in IP networks = 인터넷에서의 효율적인 멀티캐스트에 관한 연구link

Kim, Chang-Han; 김창한; et al, 한국과학기술원, 2007

5255
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

5256
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

5257
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances

Kim, Moonzoo, ATVA, 2007

5258
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

5259
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

5260
Formal Specification of a JavaScript Module System

Kang, Seonghoon; Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.47, no.10, pp.621 - 638, 2012-10

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0