Xueyi Zou
Xueyi Zou
Huawei Noah's Ark Lab
Verified email at huawei.com - Homepage
Title
Cited by
Cited by
Year
Verification and control of partially observable probabilistic systems
G Norman, D Parker, X Zou
Real-Time Systems 53 (3), 354-402, 2017
392017
Ntire 2020 challenge on real-world image super-resolution: Methods and results
A Lugmayr, M Danelljan, R Timofte
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2020
252020
Safety validation of sense and avoid algorithms using simulation and evolutionary search
X Zou, R Alexander, J McDermid
International Conference on Computer Safety, Reliability, and Security, 33-48, 2014
242014
On the validation of a uav collision avoidance system developed by model-based optimization: Challenges and a tentative partial solution
X Zou, R Alexander, J McDermid
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems …, 2016
152016
Verification and control of partially observable probabilistic real-time systems
G Norman, D Parker, X Zou
International Conference on Formal Modeling and Analysis of Timed Systems …, 2015
102015
Aim 2019 challenge on constrained super-resolution: Methods and results
K Zhang, S Gu, R Timofte, Z Hui, X Wang, X Gao, D Xiong, S Liu, R Gang, ...
2019 IEEE/CVF International Conference on Computer Vision Workshop (ICCVW …, 2019
92019
Testing method for multi-uav conflict resolution using agent-based simulation and multi-objective search
X Zou, R Alexander, J McDermid
Journal of Aerospace Information Systems 13 (5), 191-203, 2016
92016
The methods of FPGA software verification
D Zheng, Y Wang, Z Xueyi
2011 IEEE International Conference on Computer Science and Automation …, 2011
92011
Unsupervised image super-resolution with an indirect supervised path
S Chen, Z Han, E Dai, X Jia, Z Liu, L Xing, X Zou, C Xu, J Liu, Q Tian
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2020
52020
AIM 2020 challenge on real image super-resolution: Methods and results
P Wei, H Lu, R Timofte, L Lin, W Zuo, Z Pan, B Li, T Xi, Y Fan, G Zhang, ...
arXiv preprint arXiv:2009.12072, 2020
12020
Supporting Validation of UAV Sense-and-Avoid Algorithms with Agent-Based Simulation and Evolutionary Search
X Zou
Department of Computer Science, University of York, 2016
12016
Validating Unmanned Aerial Vehicle Sense and Avoid Algorithms with Evolutionary Search
X Zou
2016
The system can't perform the operation now. Try again later.
Articles 1–12