share record
persistent URL:
Jia Lee , Geunyeol Yu , Kyungmin Bae : Efficient SMT-Based Model Checking for Signal Temporal Logic. ASE 2021 : 343-354 share record
persistent URL:
Seyeon Kim , Kyungmin Bin , Sangtae Ha , Kyunghan Lee , Song Chong : zTT: learning-based DVFS with zero thermal throttling for mobile devices. MobiSys 2021 : 41-53 export record
dblp key:
books/sp/21/TalcottABCH0KRRSV0Z21 share record
persistent URL:
Carolyn L. Talcott , Sofia Ananieva , Kyungmin Bae , Benoît Combemale , Robert Heinrich , Mark Hills , Narges Khakpour , Ralf H. Reussner , Bernhard Rumpe , Patrizia Scandurra , Hans Vangheluwe , Francisco Durán , Steffen Zschaler : Foundations. Composing Model-Based Analysis Tools 2021 : 9-37 export record
dblp key:
books/sp/21/TalcottABCH0KRRSV21 share record
persistent URL:
Carolyn L. Talcott , Sofia Ananieva , Kyungmin Bae , Benoît Combemale , Robert Heinrich , Mark Hills , Narges Khakpour , Ralf H. Reussner , Bernhard Rumpe , Patrizia Scandurra , Hans Vangheluwe : Composition of Languages, Models, and Analyses. Composing Model-Based Analysis Tools 2021 : 45-70 export record
dblp key:
journals/corr/abs-2110-08241 share record
persistent URL:
Hiun Kim , Jisu Jeong , Kyung-Min Kim , Dongjun Lee , Hyun Dong Lee , Dongpil Seo , Jeeseung Han , Dong Wook Park , Ji Ae Heo , Rak Yeong Kim : Intent-based Product Collections for E-commerce using Pretrained Language Models. CoRR abs/2110.08241 (2021 )2020 export record
dblp key:
journals/aisy/KimSSPAJKSK20 share record
persistent URL:
Young Seok Kim , Myeong Won Son , Hanchan Song , Juseong Park , Jangho An , Jae Bum Jeon , Geun Young Kim , Seoil Son , Kyung Min Kim : Stateful In-Memory Logic System and Its Practical Implementation in a TaO x -Based Bipolar-Type Memristive Crossbar Array. Adv. Intell. Syst. 2 (3 ) : 1900156 (2020 )export record
dblp key:
journals/aisy/XuPKSYPFKH20 share record
persistent URL:
Nuo Xu , Tae Gyun Park , Hae Jin Kim , Xinglong Shao , Kyung Jean Yoon , Tae Hyung Park , Liang Fang , Kyung Min Kim , Cheol Seong Hwang : A Stateful Logic Family Based on a New Logic Primitive Circuit Composed of Two Antiparallel Bipolar Memristors. Adv. Intell. Syst. 2 (1 ) : 1900082 (2020 )share record
persistent URL:
Kyung-Min Park , Cherl-O. Bae : Smoke detection in ship engine rooms based on video images. IET Image Process. 14 (6 ) : 1141-1149 (2020 )share record
persistent URL:
Kyungmin Bae , Peter Csaba Ölveczky : Formal aspects of component software (FACS 2018). Sci. Comput. Program. 200 : 102547 (2020 )share record
persistent URL:
Il-Gu Lee , Kyungmin Go , Jung Hoon Lee : Battery Draining Attack and Defense against Power Saving Wireless LAN Devices. Sensors 20 (7 ) : 2043 (2020 )export record
dblp key:
conf/cvpr/AbdelhamedATBCZ20 share record
persistent URL:
Abdelrahman Abdelhamed , Mahmoud Afifi , Radu Timofte , Michael S. Brown , Yue Cao , Zhilu Zhang , Wangmeng Zuo , Xiaoling Zhang , Jiye Liu , Wendong Chen , Changyuan Wen , Meng Liu , Shuailin Lv , Yunchao Zhang , Zhihong Pan , Baopu Li , Teng Xi , Yanwen Fan , Xiyu Yu , Gang Zhang , Jingtuo Liu , Junyu Han , Errui Ding , Songhyun Yu , Bumjun Park , Jechang Jeong , Shuai Liu , Ziyao Zong , Nan Nan , Chenghua Li , Zengli Yang , Long Bao , Shuangquan Wang , Dongwoon Bai , Jungwon Lee , Youngjung Kim , Kyeongha Rho , Changyeop Shin , Sungho Kim , Pengliang Tang , Yiyun Zhao , Yuqian Zhou , Yuchen Fan , Thomas S. Huang , Zhihao Li , Nisarg A. Shah , Wei Liu , Qiong Yan , Yuzhi Zhao , Marcin Mozejko , Tomasz Latkowski , Lukasz Treszczotko , Michal Szafraniuk , Krzysztof Trojanowski , Yanhong Wu , Pablo Navarrete Michelini , Fengshuo Hu , Yunhua Lu , Sujin Kim , Wonjin Kim , Jaayeon Lee , Jang-Hwan Choi , Magauiya Zhussip , Azamat Khassenov , Jong Hyun Kim , Hwechul Cho , Priya Kansal , Sabari Nathan , Zhangyu Ye , Xiwen Lu , Yaqi Wu , Jiangxin Yang , Yanlong Cao , Siliang Tang , Yanpeng Cao , Matteo Maggioni , Ioannis Marras , Thomas Tanay , Gregory G. Slabaugh , Youliang Yan , Myungjoo Kang , Han-Soo Choi , Kyungmin Song , Shusong Xu , Xiaomu Lu , Tingniao Wang , Chunxia Lei , Bin Liu , Rajat Gupta , Vineet Kumar : NTIRE 2020 Challenge on Real Image Denoising: Dataset, Methods and Results. CVPR Workshops 2020 : 2077-2088 share record
persistent URL:
Jun-Ho Choi , Kyungmin Kim , Taejin Park , Junho Yun , Jong-Hwan Lee , Songkuk Kim , Hyunjung Shim , Jong-Seok Lee : Real-time Integrated Human Activity Recognition System based on Multimodal User Understanding. IUI Companion 2020 : 89-90 share record
persistent URL:
Kyungmin Bae , Domenico Bianculli , Stefania Gnesi , Nico Plat : FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020. ACM 2020 , ISBN 978-1-4503-7071-4 [contents] export record
dblp key:
journals/corr/abs-2001-00577 share record
persistent URL:
Kwangyoun Kim , Kyungmin Lee , Dhananjaya Gowda , Junmo Park , Sungsoo Kim , Sichen Jin , Young-Yoon Lee , Jinsu Yeo , Daehyun Kim , Seokyeong Jung , Jungin Lee , Myoungji Han , Chanwoo Kim : Attention based on-device streaming speech recognition with large speech corpus. CoRR abs/2001.00577 (2020 )export record
dblp key:
journals/corr/abs-2005-04117 share record
persistent URL:
Abdelrahman Abdelhamed , Mahmoud Afifi , Radu Timofte , Michael S. Brown , Yun Cao , Zhilu Zhang , Wangmeng Zuo , Xiaoling Zhang , Jiye Liu , Wendong Chen , Changyuan Wen , Meng Liu , Shuailin Lv , Yunchao Zhang , Zhihong Pan , Baopu Li , Teng Xi , Yanwen Fan , Xiyu Yu , Gang Zhang , Jingtuo Liu , Junyu Han , Errui Ding , Songhyun Yu , Bumjun Park , Jechang Jeong , Shuai Liu , Ziyao Zong , Nan Nan , Chenghua Li , Zengli Yang , Long Bao , Shuangquan Wang , Dongwoon Bai , Jungwon Lee , Youngjung Kim , Kyeongha Rho , Changyeop Shin , Sungho Kim , Pengliang Tang , Yiyun Zhao , Yuqian Zhou , Yuchen Fan , Thomas S. Huang , Zhihao Li , Nisarg A. Shah , Wei Liu , Qiong Yan , Yuzhi Zhao , Marcin Mozejko , Tomasz Latkowski , Lukasz Treszczotko , Michal Szafraniuk , Krzysztof Trojanowski , Yanhong Wu , Pablo Navarrete Michelini , Fengshuo Hu , Yunhua Lu , Sujin Kim , Wonjin Kim , Jaayeon Lee , Jang-Hwan Choi , Magauiya Zhussip , Azamat Khassenov , Jong Hyun Kim , Hwechul Cho , Priya Kansal , Sabari Nathan , Zhangyu Ye , Xiwen Lu , Yaqi Wu , Jiangxin Yang , Yanlong Cao , Siliang Tang , Yanpeng Cao , Matteo Maggioni , Ioannis Marras , Thomas Tanay , Gregory G. Slabaugh , Youliang Yan , Myungjoo Kang , Han-Soo Choi , Kyungmin Song , Shusong Xu , Xiaomu Lu , Tingniao Wang , Chunxia Lei , Bin Liu , Rajat Gupta , Vineet Kumar : NTIRE 2020 Challenge on Real Image Denoising: Dataset, Methods and Results. CoRR abs/2005.04117 (2020 )export record
dblp key:
journals/corr/abs-2007-11747 share record
persistent URL:
Kyungmin Lee , Hyunwhan Joe , Hyeontaek Lim , Kwangyoun Kim , Sungsoo Kim , Chang Woo Han , Hong-Gee Kim : Sequential Routing Framework: Fully Capsule Network-based Speech Recognition. CoRR abs/2007.11747 (2020 )export record
dblp key:
journals/corr/abs-2007-11794 share record
persistent URL:
Kyungmin Lee , Chiyoun Park , Ilhwan Kim , Namhoon Kim , Jaewon Lee : Applying GPGPU to Recurrent Neural Network Language Model based Fast Network Search in the Real-Time LVCSR. CoRR abs/2007.11794 (2020 )2019 share record
persistent URL:
Bong Gu Kang , Kyung-Min Seo , Tag Gon Kim : Model-Based Design of Defense Cyber-Physical Systems to Analyze Mission Effectiveness and Network Performance. IEEE Access 7 : 42063-42080 (2019 )share record
persistent URL:
Kyungmin Bae , Jia Lee : Bounded model checking of signal temporal logic properties using syntactic separation. Proc. ACM Program. Lang. 3 (POPL ) : 51:1-51:30 (2019 )share record
persistent URL:
Kyungmin Bae , Camilo Rocha : Symbolic state space reduction with guarded terms for rewriting modulo SMT. Sci. Comput. Program. 178 : 20-42 (2019 )export record
dblp key:
journals/simulation/KangSK19 share record
persistent URL:
Bong Gu Kang , Kyung-Min Seo , Tag Gon Kim : Machine learning-based discrete event dynamic surrogate model of communication systems for simulating the command, control, and communication system of systems. Simul. 95 (8 ) (2019 )share record
persistent URL:
Seokpyo Hong , Daseong Han , Kyungmin Cho , Joseph S. Shin , Junyong Noh : Physics-based full-body soccer motion control for dribbling and shooting. ACM Trans. Graph. 38 (4 ) : 74:1-74:12 (2019 )export record
dblp key:
conf/asru/KimJLHKLGPKJLYK19 share record
persistent URL:
Kwangyoun Kim , Seokyeong Jung , Jungin Lee , Myoungji Han , Chanwoo Kim , Kyungmin Lee , Dhananjaya Gowda , Junmo Park , Sungsoo Kim , Sichen Jin , Young-Yoon Lee , Jinsu Yeo , Daehyun Kim : Attention Based On-Device Streaming Speech Recognition with Large Speech Corpus. ASRU 2019 : 956-963 share record
persistent URL:
Kyung-Min Lee , Dae-Hyun Kim , Jae-Hyuck Shin , Tae-Dong Goh , Jun-Hyeong Park , Young-Ho Ryu : Reconfigurable battery system with active balancing circuit. IECON 2019 : 4583-4586 2018 export record
dblp key:
journals/sensors/ChoKKPKLKCK18 share record
persistent URL:
Seonghee Cho , Kyungmin Kim , Taehoon Kim , Hyoeun Park , Jin-Moo Kim , SeungHoon Lee , Yeonsu Kang , Kiyuk Chang , Chulhong Kim : High-Contrast Imaging of Cholesterol Crystals in Rabbit Arteries Ex Vivo Using LED-Based Polarization Microscopy. Sensors 18 (4 ) : 1258 (2018 )share record
persistent URL:
Sang-Won Lee , Kyung-Min Lee , Yoon-Geol Choi , Bongkoo Kang : Modularized Design of Active Charge Equalizer for Li-Ion Battery Pack. IEEE Trans. Ind. Electron. 65 (11 ) : 8697-8706 (2018 )share record
persistent URL:
Ami Yoo , Kyungmin Lee , Byungjeon Kang , Chang-Sei Kim , Jiwon Han , Jong-Oh Park , Eunpyo Choi : Actively Controllable Stem Cell Spheroid-based Microrobot for Tissue Regeneration. BioRob 2018 : 1286-1290 share record
persistent URL:
Minho Shim , Young Hwi Kim , Kyungmin Kim , Seon Joo Kim : Teaching Machines to Understand Baseball Games: Large-Scale Baseball Video Database for Multiple Video Understanding Tasks. ECCV (15) 2018 : 420-437 share record
persistent URL:
Sunghan Ryu , Kyungmin Choi , Daegon Cho : Behaviour-Based Market Segmentation of Travellers and Their Different Activities at Peer-to-Peer Online Travel Marketplace. ENTER 2018 : 31-43 share record
persistent URL:
Kyungmin Lee , Chiyoun Park , Namhoon Kim , Jaewon Lee : Accelerating Recurrent Neural Network Language Model Based Online Speech Recognition System. ICASSP 2018 : 5904-5908