S-Space

Browse

Communities & Collections

Journal Papers (저널논문_컴퓨터공학부)

in
Search for:

Browse

Issue Date	Title / Author(s) / Citation	File
2020-01	CompCertM: CompCert with C-assembly linking and lightweight modular verification Song, Youngju; Cho, Minki; Kim, Dongjoo; Kim, Yonghyun; Kang, Jeehoon; Hur, Chung-Kil Proceedings of the ACM on Programming Languages, Vol.4 No.POPL, p. 23	DOI
2020-01	Interaction trees: Representing recursive and impure programs in Coq Xia, Li-Yao; Zakowski, Yannick; He, Paul; Hur, Chung-Kil; Malecha, Gregory; Pierce, Benjamin C.; Zdancewic, Steve Proceedings of the ACM on Programming Languages, Vol.4 No.POPL, p. 51	DOI
2020-01	Dual attention networks for visual reference resolution in visual dialog Kang, Gi-Cheon; Lim, Jaeseo; Zhang, Byoung-Tak EMNLP-IJCNLP 2019 - 2019 Conference on Empirical Methods in Natural Language Processing and 9th International Joint Conference on Natural Language Processing, Proceedings of the Conference, pp.2024-2033
2020-01	Simulating problem difficulty in arithmetic cognition through dynamic connectionist models Cho, Sungjae; Lim, Jaeseo; Hickey, Chris; Park, Jung Ae; Zhang, Byoung-Tak Proceedings of ICCM 2019 - 17th International Conference on Cognitive Modeling, pp.29-34
2020	HUMBI: A Large Multiview Dataset of Human Body Expressions Yu, Zhixuan; Shin Yoon, Jae; Lee, In Kyu; Venkatesh, Prashanth; Park, Jaesik; Yu, Jihun; Park, Hyun Soo Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, pp.2987-2997	DOI
2020	ContraGAN: Contrastive learning for conditional image generation Kang, Minguk; Park, Jaesik Advances in Neural Information Processing Systems, Vol.2020-December	DOI
2020	Future video synthesis with object motion prediction Wu, Yue; Gao, Rongrong; Park, Jaesik; Chen, Qifeng Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, pp.5538-5547	DOI
2020	High-dimensional convolutional networks for geometric pattern recognition Choy, Christopher; Lee, Junha; Ranftl, René; Park, Jaesik; Koltun, Vladlen Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, pp.11224-11233	DOI
2019-12	Venn-diaNet : venn diagram based network propagation analysis framework for comparing multiple biological experiments Hur, Benjamin; Kang, Dongwon; Lee, Sangseon; Moon, Ji Hwan; Lee, Gung; Kim, Sun BMC Bioinformatics, 20(Suppl 23):667	view file link
2019-12	StressGenePred: a twin prediction model architecture for classifying the stress types of samples and discovering stress-related genes in arabidopsis Kang, Dongwon; Ahn, Hongryul; Lee, Sangseon; Lee, Chai-Jin; Hur, Jihye; Jung, Woosuk; Kim, Sun BMC Genomics, 20(Suppl 11):949	view file link
2019-12	HTRgene: a computational method to perform the integrated analysis of multiple heterogeneous time-series data: case analysis of cold and heat stress response signaling genes in Arabidopsis Ahn, Hongryul; Jung, Inuk; Chae, Heejoon; Kang, Dongwon; Jung, Woosuk; Kim, Sun BMC Bioinformatics, (Suppl 16):588	view file link
2019-12	Multi-Key Homomorphic Encryption from TFHE Chen, Hao; Chillotti, Ilaria; Song, Yongsoo Lecture Notes in Computer Science, Vol.11922 LNCS, pp.446-472	DOI
2019-12	혁신적이고 포괄적인 동아시아 음악데이터베이스(EMDB II)의 디자인 및 웹 시스템 구축: 통합적인 음악 역사 기술(記述)의 길을 열다 채현경; 김은하; 박정숙; 김주섭; 문봉기; 유진선; 김신효; 신승남 音.樂.學, Vol.37, pp.7-60
2019-12	Profiling dynamic data access patterns with controlled overhead and quality Park, SeongJae; Lee, Yunjae; Yeom, Heonyoung Middleware Industry 2019 - Proceedings of the 2019 20th International Middleware Conference Industrial Track, Part of Middleware 2019, pp.1-7	DOI
2019-12	Conditionally optimal task parallelization for global EDF on multi-core systems Cho, Youngeun; Kim, Do Hyung; Park, Daechul; Lee, Seung Su; Lee, Chang-Gun Proceedings - Real-Time Systems Symposium, Vol.2019-December, pp.194-206	DOI
2019-12	CaPSSA: visual evaluation of cancer biomarker genes for patient stratification and survival analysis using mutation and expression data Jang, Yeongjun; Seo, Jihae; Jang, Insu; Lee, Byungwook; Kim, Sun; Lee, Sanghyuk Bioinformatics, Vol.35 No.24, pp.5341-5343	DOI
2019-11	SoftCon: Simulation and Control of Soft-Bodied Animals with Biomimetic Actuators Min, Sehee; Won, Jungdam; Lee, Seunghwan; Park, Jungnam; Lee, Jehee ACM Transactions on Graphics, Vol.38 No.6, p. 208	DOI
2019-11	Learning Body Shape Variation in Physics-based Characters Won, Jungdam; Lee, Jehee ACM Transactions on Graphics, Vol.38 No.6, p. 207	DOI
2019-11	Efficient multi-key homomorphic encryption with packed ciphertexts with application to oblivious neural network inference Chen, Hao; Kim, Miran; Dai, Wei; Song, Yongsoo Proceedings of the ACM Conference on Computer and Communications Security, pp.395-412	DOI
2019-11	VitaMon: Measuring heart rate variability using smartphone front camera Huynh, Sinh; Balan, Rajesh Krishna; Ko, JeongGil; Lee, Youngki SenSys 2019 - Proceedings of the 17th Conference on Embedded Networked Sensor Systems, pp.1-14	DOI

1 10 11 12 13 14 15 16 30