KOASAS

Recent Items

• 1 Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
  

  Park, Sewon; Brauße, Franz; Collins, Pieter; Kim, SunYoung; Konečný, Michal; Lee, Gyesik; Müller, Norbert; Neumann, Eike; Preining, Norbert; Ziegler, Martin, Logical Methods in Computer Science, v.20, no.2, 2024-06

• 2 CCTV-Informed Human-Aware Robot Navigation in Crowded Indoor Environments
  

  Kim, Mincheul; Kwon, Youngsun; Lee, Sebin; Yoon, Sung-Eui, IEEE ROBOTICS AND AUTOMATION LETTERS, v.9, no.6, pp.5767 - 5774, 2024-06

• 3 Deep Representation Learning With Sample Generation and Augmented Attention Module for Imbalanced ECG Classification
  

  Zubair, Muhammad; Woo, Sungpil; Lim, Sunhwan; Kim, Daeyoung, IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, v.28, no.5, pp.2461 - 2472, 2024-05

• 4 GPUTucker: Large-Scale GPU-Based Tucker Decomposition Using Tensor Partitioning
  

  Lee, Jihye; Han, Donghyoung; Kwon, Oh-Kyoung; Chon, Kang-Wook; Kim, Min-Soo, EXPERT SYSTEMS WITH APPLICATIONS, v.237, 2024-03

• 5 Building PRFs from TPRPs: Beyond the Block and the Tweak Length Bounds
  

  Choi, Wonseok; Lee, Jooyoung; Lee, Yeongmin, IACR TRANSACTIONS ON SYMMETRIC CRYPTOLOGY, v.2024, no.1, pp.35 - 70, 2024-03

• 6 Improving speech emotion recognition by fusing self-supervised learning and spectral features via mixture of experts
  

  Hyeon, Jonghwan; Oh, Yung-Hwan; Lee, Young-Jun; Choi, Ho-Jin, DATA & KNOWLEDGE ENGINEERING, v.150, 2024-03

• 7 SuM: Efficient shadow stack protection on ARM Cortex-M
  

  Choi, Wonwoo; Seo, Minjae; Lee, Seongman; Kang, Brent Byunghoon, COMPUTERS & SECURITY, v.136, 2024-01

• 8 Inverse Constraint Learning and Generalization by Transferable Reward Decomposition
  

  Jang, Jaehwi; Song, Minjae; Park, Daehyung, IEEE ROBOTICS AND AUTOMATION LETTERS, v.9, no.1, pp.279 - 286, 2024-01

• 9 Highly VM-Scalable SSD in Cloud Storage Systems
  

  Lee, Wonyoung; Kang, Mincheol; Kim, Soontae, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, v.43, no.1, pp.113 - 126, 2024-01

• 10 Zero and Narrow-Width Value-Aware Compression for Quantized Convolutional Neural Networks
  

  Jang, Myeongjae; Kim, Jinkwon; Nam, Haejin; Kim, Soontae, IEEE Transactions on Computers, v.73, no.1, pp.249 - 262, 2024-01