Liming Li
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2007–2021
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CADE | Verified Interactive Computation of Definite Integrals. | Runqing Xu, Liming Li, Bohua Zhan |
| 2021 | KDD | Representation Learning for Predicting Customer Orders. | Tongwen Wu, Yu Yang, Yanzhi Li, Huiqiang Mao, Liming Li, Xiaoqing Wang, Yuming Deng |
| 2020 | CIS | Unsupervised learning based target localization method for pantograph video. | Rui Sun, Liming Li, Xingjie Chen, Ji Wang, Xiao-dong Chai, Shubin Zheng |
| 2014 | ICRA | Formal verification of a collision-free algorithm of dual-arm robot in HOL4. | Liming Li, Zhiping Shi, Yong Guan, Chunna Zhao, Jie Zhang, Hongxing Wei |
| 2007 | ISNN | Extraction of Filled-In Items from Chinese Bank Check Using Support Vector Machines. | Liangli Huang, Shutao Li, Liming Li |