DSpace at KOASAS: CS-Journal Papers(저널논문)

DSpace at KOASAS

College of Engineering(공과대학)School of Computing(전산학부)

CS-Journal Papers(저널논문)

Browse: Issue Date Author Title Subject Type

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

rss_1.0 rss_2.0 atom_1.0

Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 4039

1	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
2	Battery-aging-aware run-time slack management for power-consuming real-time systems Kwak, Jaeheon; Kim, Kyunghoon; Lee, Youngmoon; Shin, Insik; Lee, Jinkyu, JOURNAL OF SYSTEMS ARCHITECTURE, v.144, 2023-11
3	Facing to Latency of Hyperledger Fabric for Blockchain- Enabled IoT: Modeling and Analysis Lee, Sungho; Kim, Minsu; Lee, Jemin; Hsu, Ruei-Hau; Kim, Min-Soo; Quek, Tony Q. S., IEEE NETWORK, v.37, no.6, pp.232 - 239, 2023-11
4	Exploring LLM-based Automated Repairing of Ansible Script in Edge-Cloud Infrastructures KWON, SUNJAE; Lee, Sungu; Kim, Taehyoun; Ryu, Duksan; Baik, Jongmoon, JOURNAL OF WEB ENGINEERING, v.22, no.6, pp.889 - 912, 2023
5	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; et al, Logical Methods in Computer Science, v.20, no.2, 2024-06
6	Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets Ackerman, Nate; Freer, Cameron E.; Kaddar, Younesse; Karwowski, Jacek; Moss, Sean; Roy, Daniel; Staton, Sam; et al, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.8, no.POPL, pp.1819 - 1849, 2024-01
7	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
8	Take a Prior from Other Tasks for Severe Blur Removal Wang, Pei; Zhu, Yu; Xue, Danna; Yan, Qingsen; Sun, Jinqiu; Yoon, Sung-Eui; Zhang, Yanning, Computer Vision and Image Understanding, 2024
9	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
10	Fully Decentralized Horizontal Autoscaling for Burst of Load in Fog Computing Park, EunChan; Baek, KyeongDeok; Cho, Eunho; Ko, In-Young, JOURNAL OF WEB ENGINEERING, v.22, no.6, pp.849 - 869, 2023-12
11	Efficient AI Applications in Edge-Cloud Environments Ko, In-Young; Mrissa, Michael; Murillo, Juan Manuel; Srivastava, Abhishek, JOURNAL OF WEB ENGINEERING, v.22, no.6, pp.V - VII, 2023-12
12	WristMenu with Tactons: An Eyes- and Ears-free Menu with Tactons Describing Menu Items in the Wrist Rotation Space Youn, Eunhye; Kim, Taejun; Lee, Geehyuk, INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION, 2022-12
13	TouchWheel: Enabling Flick-and-Stop Interaction on the Mouse Wheel Son, Sunmin; Jung, Jingun; Ham, Auejin; Lee, Geehyuk, INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION, 2023-03
14	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
15	Quantitative Comparison of Vertebral Structural Changes After Percutaneous Vertebroplasty Between Unilateral Extrapedicular Approach and Bilateral Transpedicular Approach Using Voxel-Based Morphometry Kim, Tae; Park, Jinah; Cho, Jihoon; Lee, Jin Seok; Lee, Hong Jae, NEUROSPINE, v.20, no.4, pp.1287 - 1302, 2023-12
16	APE: A Data-Driven, Behavioral Model-Based Anti-Poaching Engine Park, Noseong; Serra, Edoardo; Snitch, Tom; Subrahmanian, V. S., IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, v.2, no.2, pp.15 - 37, 2015-06
17	Saving Rhinos with Predictive Analytics Park, Noseong; Serra, Edoardo; Subrahmanian, V. S., IEEE INTELLIGENT SYSTEMS, v.30, no.4, pp.86 - 88, 2015-07
18	Using temporal probabilistic logic for optimal monitoring of security events with limited resources Jajodia, Sushil; Park, Noseong; Serra, Edoardo; Subrahmanian, V. S., JOURNAL OF COMPUTER SECURITY, v.24, no.6, pp.735 - 791, 2016
19	Data-Driven Frequency-Based Airline Profit Maximization An, Bo; Chen, Haipeng; Park, Noseong; Subrahmanian, V. S., ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, v.8, no.4, 2017-07
20	A Probabilistic Logic of Cyber Deception Jajodia, Sushil; Park, Noseong; Pierazzi, Fabio; Pugliese, Andrea; Serra, Edoardo; Simari, Gerardo I.; Subrahmanian, V. S., IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, v.12, no.11, pp.2532 - 2544, 2017-11

1 2 3 4 5 6 7 8 9 10 nextlast

Discover

KOASAS

Knowledge Service Development Team, KAIST 291 Daehak-ro, Yuseong-gu, Daejeon 34141, Republic of Korea. T. 82-42-350-4493 Email. koasas@kaist.ac.kr
Copyright © 2016. Korea Advanced Institute of Science and Technology. All Rights Reserved.

Communities & Collections

rss_1.0 rss_2.0 atom_1.0