Yue Deng
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2024
J. Comput. Methods Sci. Eng., 2024
How frequent the Landsat 8/9-Sentinel 2A/B virtual constellation observed the earth for continuous time series monitoring.
Int. J. Appl. Earth Obs. Geoinformation, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
2023
J. Mach. Learn. Res., 2023
2022
ACM Trans. Softw. Eng. Methodol., 2022
Simul., 2022
2021
Comput. Intell., 2021
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2021, 2021
2020
IEEE Access, 2020
Proceedings of the 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2020
Proceedings of the 6GN for Future Wireless Networks - Third EAI International Conference, 2020
2016
Proceedings of the Wisdom Web of Things, 2016
2013
Simulation-Assisted Formal Verification of Nonlinear Mixed-Signal Circuits With Bayesian Inference Guidance.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013
2012
Verifying dynamic properties of nonlinear mixed-signal circuits via efficient SMT-based techniques.
Proceedings of the 2012 IEEE/ACM International Conference on Computer-Aided Design, 2012