CS-Journal Papers(저널논문)

Recent Items

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

CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification

Song, Youngju; Cho, Minki; Kim, Dongjoo; Kim, Yonghyun; Kang, Jeehoonresearcher; Hur, Chung-Kil, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01

Stacked Borrows: An Aliasing Model for Rust

Jung, Ralf; Dang, Hoang-Hai; Kang, Jeehoonresearcher; Dreyer, Derek, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01

Towards Verified Stochastic Variational Inference for Probabilistic Programs

Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; Yang, Hongseokresearcher, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01

On the Social-Relational Moral Standing of Al: An Empirical Study Using Al-Generated Art

Lima, Gabriel; Zhunis, Assem; Manovich, Lev; Cha, Meeyoungresearcher, FRONTIERS IN ROBOTICS AND AI, v.8, 2021-08

On the Analysis of Byte-Granularity Heap Randomization

Jang, Daehee; Kim, Jonghwan; Lee, Hojoon; Park, Minjoon; Jeong, Yunjong; Kim, Minsu; Kang, Brent Byunghoonresearcher, IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, v.18, no.5, pp.2237 - 2252, 2021-09

Development and Validation of an Arterial Pressure-Based Cardiac Output Algorithm Using a Convolutional Neural Network: Retrospective Study Based on Prospective Registry Data

Yang, Hyun-Lim; Jung, Chul-Woo; Yang, Seong Mi; Kim, Min-Sooresearcher; Shim, Sungho; Lee, Kook Hyun; Lee, Hyung-Chul, JMIR MEDICAL INFORMATICS, v.9, no.8, 2021-08

Learning Fingertip Force to Grasp Deformable Objects for Soft Wearable Robotic Glove With TSM

Rho, Eojin; Kim, Daekyum; Lee, Hochang; Jo, Sunghoresearcher, IEEE ROBOTICS AND AUTOMATION LETTERS, v.6, no.4, pp.8126 - 8133, 2021-10

TRk-CNN: Transferable Ranking-CNN for image classification of glaucoma, glaucoma suspect, and normal eyes

Jun, Tae Joon; Eom, Youngsub; Kim, Dohyeun; Kim, Cherry; Park, Ji-Hye; Nguyen, Hoang Minh; Kim, Young-Hak; et al, EXPERT SYSTEMS WITH APPLICATIONS, v.182, 2021-11

Finding epic moments in live content through deep learning on collective decisions

Song, Hyeonho; Park, Kunwoo; Cha, Meeyoungresearcher, EPJ DATA SCIENCE, v.10, no.1, 2021-08

Empirical Evaluation of Fault Localisation Using Code and Change Metrics

Sohn, Joengju; Yoo, Shinresearcher, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.47, no.8, pp.1605 - 1625, 2021-08

Weakly-Supervised Contrastive Learning in Path Manifold for Monte Carlo Image Reconstruction

Cho, In-Young; Huo, Yuchi; Yoon, Sung-Euiresearcher, ACM TRANSACTIONS ON GRAPHICS, v.40, no.4, pp.1 - 14, 2021-07

Deep Regression Network-Assisted Efficient Streamline Generation Method

Lee, Joong-Youn; Park, Jinahresearcher, IEEE ACCESS, v.9, pp.111704 - 111717, 2021

Dynamic Closest Color Warping to Sort and Compare Palettes

Kim, Suzi; Choi, Sungheeresearcher, ACM TRANSACTIONS ON GRAPHICS, v.40, no.4, 2021-08

Multiview Variational Deep Learning With Application to Practical Indoor Localization

Kim, Minseuk; Han, Dong-Sooresearcher; Rhee, June-Koo Kevinresearcher, IEEE INTERNET OF THINGS JOURNAL, v.8, no.15, pp.12375 - 12383, 2021-08

Deep Convolutional Neural Network for Identifying Seam-Carving Forgery

Nam, Seung-Hun; Ahn, Wonhyuk; Yu, In-Jae; Kwon, Myung-Joon; Son, Minseok; Lee, Heung-Kyuresearcher, IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY, v.31, no.8, pp.3308 - 3326, 2021-08

SLO-Aware Inference Scheduler for Heterogeneous Processors in Edge Platforms

Seo, Wonik; Kim, Yeonjae; Cha, Sanghoon; Huh, Jaehyukresearcher; Park, Jongseresearcher, ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, v.18, no.4, pp.1 - 26, 2021-07

DeepFormableTag: end-to-end generation and recognition of deformable fiducial markers

Yaldiz, Mustafa B.; Meuleman, Andreas; Jang, Hyeonjoong; Ha, Hyunho; Kim, Min Hyukresearcher, ACM TRANSACTIONS ON GRAPHICS, v.40, no.4, pp.67, 2021-08

ZeroKernel: Secure Context-isolated Execution on Commodity GPUs

Kwon, Ohmin; Kim, Yonggon; Huh, Jaehyukresearcher; Yoon, Hyunsooresearcher, IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, v.18, no.4, pp.1974 - 1988, 2021-07

Table Redundancy Method for Protecting Against Fault Attacks

Lee, Seungkwang; Jho, Nam-su; Kim, Myung-Chulresearcher, IEEE ACCESS, v.9, pp.92214 - 92223, 2021-07

Temporal association between objectively measured smartphone usage, sleep quality and physical activity among Chinese adolescents and young adults

Lee, Paul H.; Tse, Andy C. Y.; Wu, Cynthia S. T.; Mak, Yim Wah; Lee, Uichinresearcher, JOURNAL OF SLEEP RESEARCH, v.30, no.4, pp.e13213, 2021-08



Open Access

Date issued

. next


. next

rss_1.0 rss_2.0 atom_1.0