Guangyuan Wu

According to our database, Guangyuan Wu authored at least 8 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference.

Guangyuan Wu, Weining Cao, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

2023

Optimized Method Based on Subspace Merging for Spectral Reflectance Recovery.

Yifan Xiong, Guangyuan Wu, Xiaozhou Li

Sensors, March, 2023

Spectral Filter Selection Based on Human Color Vision for Spectral Reflectance Recovery.

Shijun Niu, Guangyuan Wu, Xiaozhou Li

Sensors, 2023

2021

Skeleton-based Human Action Recognition by the Integration of Euclidean distance.

Yi Gao, Zhaokun Liu, Xinmeng Wu, Guangyuan Wu, Jiahui Zhao, Xiaofan Zhao

Proceedings of the ICIT 2021: IoT and Smart City, Guangzhou, China, December 22 - 25, 2021, 2021

2019

Resource allocation algorithm with worst case delay guarantees in energy harvesting body area networks.

Guangyuan Wu, Zhigang Chen, Deyu Zhang, Jiaqi Liu

Peer-to-Peer Netw. Appl., 2019

2018

An Optimal Online Resource Allocation Algorithm for Energy Harvesting Body Area Networks.

Guangyuan Wu, Zhigang Chen, Lin Guo, Jia Wu

Algorithms, 2018

2016

On the performance of cloud storage applications with global measurement.

Guangyuan Wu, Fangming Liu, Haowen Tang, Keke Huang, Qixia Zhang, Zhenhua Li, Ben Y. Zhao, Hai Jin

Proceedings of the 24th IEEE/ACM International Symposium on Quality of Service, 2016

2004

Dependence language model for information retrieval.

Jianfeng Gao, Jian-Yun Nie, Guangyuan Wu, Guihong Cao

Proceedings of the SIGIR 2004: Proceedings of the 27th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2004