Showing results 1481 to 1500 of 4162
Flexible Acceptance Condition of Generics from a Probabilistic Viewpoint: Towards Formalization of the Semantics of Generics Ryu, Soo Hyun; Yang, Wonsuk; Park, Jong-Cheol, JOURNAL OF PSYCHOLINGUISTIC RESEARCH, v.51, no.6, pp.1209 - 1229, 2022-08 |
Flexible ECC Management for Low-Cost Transient Error Protection of Last-Level Caches Hong, Jeongkyu; Kim, Soontae, IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, v.24, no.6, pp.2152 - 2164, 2016-06 |
Floating-ECC: Dynamic Repositioning of Error Correcting Code Bits for Extending the Lifetime of STT-RAM Caches Farbeh, Hamed; Kim, Hyeonggyu; Miremadi, Seyed Ghassem; Kim, Soontae, IEEE TRANSACTIONS ON COMPUTERS, v.65, no.12, pp.3661 - 3675, 2016-12 |
Flow-augmentation II: Undirected Graphs Kim, Eun Jung; Kratsch, Stefan; Pilipczuk, Marcin; Wahlstrom, Magnus, ACM TRANSACTIONS ON ALGORITHMS, v.20, no.2, 2024-04 |
Flower-Pop: Facilitating Casual Group Conversations With Multiple Mobile Devices Lee, Moon Hwan; Row, Yeakyung; Son, Oo Sung; Lee, Uichin; Kim, JaeJeung; Jeong, Jungi; Maeng, Seungryoul; et al, Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, v.1, no.4, 2017-12 |
FLUID: FLEXIBLE USER INTERFACE DISTRIBUTION FOR UBIQUITOUS MULTI-DEVICE INTERACTION Oh, Sangeun; Kim, Ahyeon; Lee, Sunjae; Lee, Kilho; Jeong, Dae R.; Shin, Insik; Ko, Steven Y., GETMOBILE-MOBILE COMPUTING & COMMUNICATIONS REVIEW, v.23, no.4, pp.25 - 29, 2019-12 |
Folding Clothes Autonomously: A Complete Pipeline Doumanoglou, Andreas; Stria, Jan; Peleka, Georgia; Mariolis, Ioannis; Petrik, Vladimir; Kargakos, Andreas; Wagner, Libor; et al, IEEE TRANSACTIONS ON ROBOTICS, v.32, no.6, pp.1461 - 1478, 2016-12 |
for Speech Recognition Hwan-Jin Choi; Oh, Yung-Hwan, PATTERN RECOGNITION, 1997-01 |
Forced inheritance: A new approach for providing orthogonal persistence to C++ Park, CM; Whang, Kyu-Young; Song, IY; Navathe, S, JOURNAL OF OBJECT-ORIENTED PROGRAMMING, v.9, no.1, pp.65 - 71, 1996-03 |
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 |
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 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 Verification of High-Availability Protocol for Network Security Appliances Kim, Moonzoo, ATVA, 2007 |
Formal Specification of a JavaScript Module System Kang, Seonghoon; Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.47, no.10, pp.621 - 638, 2012-10 |
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 |
Formullar: An FPGA-based network testing tool for flexible and precise measurement of Ultra-Low Latency networking systems Park, Taejune; Shin, Seungwon; Shin, Insik; Lee, Kilho, COMPUTER NETWORKS, v.185, 2021-02 |
Forward Secure ID-based Group Key Agreement Protocol with Anonymity Park, Hyewon; Kim, Zeen; Kim, Kwangjo, Third International Conference on Emerging Security Information, Systems and Technologies, pp.274-279, 2009-06-18 |
Four-ary tree-based barrier synchronization for 2D meshes without nonmember involvement Moh, S; Yu, CS; Lee, B; Youn, HY; Han, Dongsoo; Lee, DongMan, IEEE TRANSACTIONS ON COMPUTERS, v.50, no.8, pp.811 - 823, 2001-08 |
FourEyes: Leveraging Tool Diversity as a Means to Improve Aggregate Accuracy in Crowdsourcing Song, Jean Y.; Fok, Raymond; Kim, Juho; Lasecki, Walter S., ACM TRANSACTIONS ON INTERACTIVE INTELLIGENT SYSTEMS, v.10, no.1, 2020-01 |
Frame-rate conversion detection based on periodicity of motion artifact Jung, Dae-Jin; Lee, Heung-Kyu, MULTIMEDIA TOOLS AND APPLICATIONS, v.77, no.5, pp.6095 - 6116, 2018-03 |
Discover