Xu, Ke - Department of Computer Science and Engineering, Beijing University of Aeronautics and Astronautics

Advanced Search

Xu, Ke - Department of Computer Science and Engineering, Beijing University of Aeronautics and Astronautics

The Algorithms of Updating Sequential Qingguo Zheng Ke Xu Shilong Ma Weifeng Lv
A Simple Model to Generate Hard Satisfiable Instances Ke Xu 1 Fr ed eric Boussemart 2 Fred Hemery 2 Christophe Lecoutre 2
The Prioritized Inductive Logic Programs 1 Shilong Ma y;2 , Yuefei Sui z;3 and Ke Xu y;2
Intelligent Search of Correlated Alarms from Database Containing Noise Data
Random Constraint Satisfaction: Easy Generation of Hard (Satisfiable) Instances
Many Hard Examples in Exact Phase Transitions1 Ke Xu and Wei Li
The Limits of Horn Logic Programs 1 Shilong Ma2
Many Hard Examples in Exact Phase Transitions with Application to Generating Hard Satisfiable Instances1
Vol. 42 No. 5 1999 SCIENCE IN CHINA (Series E) Page:494-501 The SAT Phase Transition*
Many Hard Examples in Exact Phase Transitions 1 Ke Xu and Wei Li
The Prioritized Inductive Logic Programs 1 Shilong Ma +,2 , Yuefei Sui #,3 and Ke Xu +,2
A Simple Model to Generate Hard Satisfiable Instances Frederic Boussemart2
A Logical Framework for Convergent In nite Computations 1
Many Hard Examples in Exact Phase Transitions with Application to Generating Hard Satisfiable Instances 1
When to Update the Sequential Patterns of Stream Qingguo Zheng Ke Xu Shilong Ma
Journal of Arti cial Intelligence Research 12 (2000) 93-103 Submitted 11/99; published 3/00 Exact Phase Transitions in
Vol. 42 No. 5 1999 SCIENCE IN CHINA (Series E) Page:494501 The SAT Phase Transition *
Intelligent Search of Correlated Alarms for GSM Networks with Model-based Constraints*
The Limits of Horn Logic Programs 1 Shilong Ma y2 , Yuefei Sui z3 , and Ke Xu y;2
Random Constraint Satisfaction: Easy Generation of Hard (Satisfiable) Instances
APS/EK10599 Weak Ties: Subtle Role of Information Diffusion in Online Social Networks
An improved algorithm for finding community structure in networks with an application to IPv6 backbone network
Abstract--Considerable effort has been spent on collecting all the information of routers by using traceroute-like probes in the
A logic distance-based method for deploying probing sources in the topology discovery
Abstract--Considerable effort has been spent on collecting all the information of routers by using traceroute-like probes in the
Enhancing the robustness of scale-free networks 1. Introduction
A method for placing traceroute-like topology discovery instrumentation