Jingyuan Cao

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 1

Top Topics

Classification Algorithm

K Nearest Neighbor

Top Venues

Publications

Jingyuan Cao, Hong Wang, Mo Pang
An Integrated Classification Algorithm Using Forecasting Probability Strategies for Mobile App Statistics. ICIC (3) (2019)
Jingyuan Cao, Ming Fu, Xinyu Feng
Practical Tactics for Verifying C Programs in Coq. CPP (2015)