More Selected Papers
Ke Xu and Wei Li.
On the Average
Similarity Degree between Solutions of Random k-SAT and Random CSPs.
Discrete Applied Mathematics, 136(2004):125-149. (pdf) (ps.gz)
Qingguo Zheng, Ke Xu, Weifeng Lv and Shilong Ma.
Intelligent Search
of Correlated Alarms for GSM Networks with Model-based Constraints.
Proc. 9th IEEE International Conference on Telecommunications (ICT),
Volume 2, pages 635-645, Beijing, 2002. (pdf)
Qingguo Zheng, Ke Xu, Shilong Ma and Weifeng Lv.
The Algorithms of Updating Sequential Patterns. (pdf)
Proc. 5th International Workshop on High Performance Data Mining (HPDM),
in conjunction with 2nd SIAM Conference on Data Mining, USA, 2002.
Qingguo Zheng, Ke Xu, Weifeng Lv and Shilong Ma.
Intelligent Search
of Correlated Alarms from Database Containing Noise Data. (pdf)
Proc. 8th IEEE/IFIP Network and Operations Management Symposium (NOMS),
pages 405-419, Italy, 2002.
Ke Xu and Wei Li.
An Average
Analysis of Backtracking on Random Constraint Satisfaction Problems.
Annals of Mathematics and Artificial Intelligence, 33(2001):21-37. (pdf) (ps.gz)
Ke Xu and Wei Li.
The
SAT Phase Transition. (pdf) (ps.gz)
Science in China, Series E, 42(1999):494-501.
Selected Technical Reports
Shilong Ma, Yuefei Sui and Ke Xu.
The Prioritized
Inductive Logic Programs. (ps)
(ps.gz)
CoRR Report cs.AI/0206017, 2002.
Wei Li, Shilong Ma, Yuefei Sui and Ke Xu.
A Logical Framework
for Convergent Infinite Computations. (ps) (ps.gz)
CoRR Report cs.LO/0105020, 2001.