Zhaopeng Li

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 7

Top Topics

Processing Pipeline

Execution Engine

Pairwise Comparisons

Top Venues

计算机科学

J. Comput. Sci. Technol.

Publications

Zhaopeng Li, Mondher Bouazizi, Tomoaki Ohtsuki, Masakuni Ishii, Eri Nakahara
Toward Building Trust in Machine Learning Models: Quantifying the Explainability by SHAP and References to Human Strategy. IEEE Access 12 (2024)
Lanhao Wang, Hongdong Hu, Zhaopeng Li, Wei Dai
Splitting ore from X-ray image based on improved robust concave-point algorithm. PeerJ Comput. Sci. 9 (2023)
Zhaopeng Li, Qianqian Xu, Yangbangyan Jiang, Ke Ma, Xiaochun Cao, Qingming Huang
Neural Collaborative Preference Learning With Pairwise Comparisons. IEEE Trans. Multim. 23 (2021)
Zhaopeng Li, Qianqian Xu, Yangbangyan Jiang, Xiaochun Cao, Qingming Huang
Quaternion-Based Knowledge Graph Network for Recommendation. ACM Multimedia (2020)
Wei Deng, Zhaopeng Li
形状分析符号执行引擎中的状态合并 (State Merging for Symbolic Execution Engine with Shape Analysis). 计算机科学 44 (2) (2017)
Cunguang Lou, Ruikai Li, Zhaopeng Li, Tie Liang, Zihui Wei, Mingtao Run, Xiaobing Yan, Xiuling Liu
Flexible Graphene Electrodes for Prolonged Dynamic ECG Monitoring. Sensors 16 (11) (2016)
Jiabiao Liang, Zhaopeng Li, Ling Zhu, Xianfei Shen
支持形状分析的符号执行引擎的设计与实现 (Symbolic Execution Engine with Shape Analysis). 计算机科学 43 (3) (2016)
Yu Zhang, Zhaopeng Li, Hui-Fang Cao
System-Enforced Deterministic Streaming for Efficient Pipeline Parallelism. J. Comput. Sci. Technol. 30 (1) (2015)
Zhaopeng Li, Yu Zhang, Yiyun Chen
A Shape Graph Logic and A Shape System. J. Comput. Sci. Technol. 28 (6) (2013)
Dongliang Xue, Xiaolong Wu, Yunwei Gao, Ying Song, Xinhui Tian, Zhaopeng Li
TrustVP: Construction and Evolution of Trusted Chain on Virtualization Computing Platform. CIS (2012)
Zhaopeng Li, Yang Zhang, Yiyun Chen
A Method to Generate Verification Condition Generator. TASE (2011)
Zhaopeng Li, Zhong Zhuang, Yiyun Chen, Simin Yang, Zhenting Zhang, Dawei Fan
A Certifying Compiler for Clike Subset of C Language. TASE (2010)
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu, Zhifang Wang
A pointer logic and certifying compiler. Frontiers Comput. Sci. China 1 (3) (2007)
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu
Design of a Certifying Compiler Supporting Proof of Program Safety. TASE (2007)
Zhaopeng Li, Kenli Li, Degui Xiao, Lei Yang
An Adaptive Parallel Hierarchical Clustering Algorithm. HPCC (2007)