Yunho Kim
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2024
Learning Semantic Traversability With Egocentric Video and Automated Annotation Strategy.
IEEE Robotics Autom. Lett., November, 2024
IEEE Trans. Robotics, 2024
Neural Networks, 2024
CoRR, 2024
CoRR, 2024
Investigating Adolescent Vulnerability in Indonesia: A Socio-Remote Sensing Big Data Analytics Study Using Night Light Data.
IEEE Access, 2024
Fine-Tuning of Predictive Models CNN-LSTM and CONV-LSTM for Nowcasting PM<sub>2.5</sub> Level.
IEEE Access, 2024
Understanding Pediatric Health Trends in Papua: Insights From SUSENAS, RISKESDAS, Remote Sensing, and Its Relevance to Prabowo and Gibran's Free Lunch and Milk Program.
IEEE Access, 2024
2023
Infinitely Many Small Energy Solutions to the Double Phase Anisotropic Variational Problems Involving Variable Exponent.
Axioms, 2023
Boosting Algorithm to Handle Unbalanced Classification of PM<sub>2.5</sub> Concentration Levels by Observing Meteorological Parameters in Jakarta-Indonesia Using AdaBoost, XGBoost, CatBoost, and LightGBM.
IEEE Access, 2023
2022
Softw. Test. Verification Reliab., 2022
Deep-Learning-Based Algorithm for the Removal of Electromagnetic Interference Noise in Photoacoustic Endoscopic Image Processing.
Sensors, 2022
Hybrid Numerical Modeling of Ballistic Clay under Low-Speed Impact using Artificial Neural Networks.
CoRR, 2022
Numerical investigation into the dependence of the Allen-Cahn equation on the free energy.
Adv. Comput. Math., 2022
Learning Forward Dynamics Model and Informed Trajectory Sampler for Safe Quadruped Navigation.
Proceedings of the Robotics: Science and Systems XVIII, New York City, NY, USA, June 27, 2022
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022
Integrating A Deep Learning-based Plane Detector in Mobile AR Systems for Improvement of Plane Detection.
Proceedings of the ICCAI '22: 8th International Conference on Computing and Artificial Intelligence, Tianjin, China, March 18, 2022
2021
Softw. Test. Verification Reliab., 2021
Pattern Recognit., 2021
Learning multiple gaits of quadruped robot using hierarchical reinforcement learning.
CoRR, 2021
Empirical Study of Effectiveness of EvoSuite on the SBST 2020 Tool Competition Benchmark.
Proceedings of the Search-Based Software Engineering - 13th International Symposium, 2021
2020
Existence of Small-Energy Solutions to Nonlocal Schrödinger-Type Equations for Integrodifferential Operators in ℝN.
Symmetry, 2020
MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry.
Inf. Softw. Technol., 2020
Commun. Nonlinear Sci. Numer. Simul., 2020
2019
Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs.
ACM Trans. Softw. Eng. Methodol., 2019
Numerische Mathematik, 2019
Target-driven compositional concolic testing with function summary refinement for effective bug detection.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Concolic testing for high test coverage and reduced human effort in automotive industry.
Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, 2019
2018
Multiplicity of Small or Large Energy Solutions for Kirchhoff-Schrödinger-Type Equations Involving the Fractional <i>p</i>-Laplacian in ℝ<sup><i>N</i></sup>.
Symmetry, 2018
Multipath-based transmission scheme for improving the QoE of HTTP adaptive streaming.
J. Vis. Commun. Image Represent., 2018
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018
Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018
Precise concolic unit testing of C programs using extended units and symbolic alarm filtering.
Proceedings of the 40th International Conference on Software Engineering, 2018
2017
Inf. Softw. Technol., 2017
2015
Softw. Test. Verification Reliab., 2015
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
2014
SIAM J. Imaging Sci., 2014
SIAM J. Imaging Sci., 2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014
2013
Image Restoration with a New Class of Forward-Backward-Forward Diffusion Equations of Perona-Malik Type with Applications to Satellite Image Enhancement.
SIAM J. Imaging Sci., 2013
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
2012
SIAM J. Imaging Sci., 2012
Concolic testing of the multi-sector read operation for flash storage platform software.
Formal Aspects Comput., 2012
Proceedings of the 9th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE.
Proceedings of the 34th International Conference on Software Engineering, 2012
2011
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study.
IEEE Trans. Software Eng., 2011
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011
A convex minimization model in image restoration via one-dimensional Sobolev norm profiles.
Proceedings of the 18th IEEE International Conference on Image Processing, 2011
Proceedings of the Automated Technology for Verification and Analysis, 2011
2010
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010
Proceedings of the Theoretical Aspects of Computing, 2010
2009
Proceedings of the Formal Methods: Foundations and Applications, 2009
HARDI Denoising: Variational Regularization of the Spherical Apparent Diffusion Coefficient <i>sADC</i>.
Proceedings of the Information Processing in Medical Imaging, 2009
2008
Proceedings of the Model Checking Software, 2008
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008
Proceedings of the First International Conference on Software Testing, 2008
Proceedings of the 2008 International Conference on Advanced Infocomm Technology, 2008
Proceedings of the Computational Imaging VI, 2008
2002
An Efficient Processing of Queries with Joins and Aggregate Functions in Data Warehousing Environment.
Proceedings of the 13th International Workshop on Database and Expert Systems Applications (DEXA 2002), 2002