| 2008 |
|---|
| 90 | EE | Ke Xu,
Junwei Cao,
Lianchen Liu,
Cheng Wu:
Performance Optimization of Temporal Reasoning for Grid Workflows Using Relaxed Region Analysis.
AINA Workshops 2008: 187-194 |
| 89 | EE | Qi Li,
Mingwei Xu,
Ke Xu,
Jianping Wu:
Evaluating Service Scalability of Network Architectures.
ICN 2008: 434-438 |
| 88 | EE | Liang Li,
Xin Li,
Tian Liu,
Ke Xu:
From k-SAT to k-CSP: Two Generalized Algorithms
CoRR abs/0801.3147: (2008) |
| 87 | EE | Chunyan Zhao,
Ke Xu,
Zhiming Zheng:
On the Scaling Window of Model RB
CoRR abs/0801.3871: (2008) |
| 86 | EE | Ke Xu,
Ying Liu,
Cheng Wu:
BPSL Modeler - Visual Notation Language for Intuitive Business Property Reasoning.
Electr. Notes Theor. Comput. Sci. 211: 211-220 (2008) |
| 2007 |
|---|
| 85 | EE | Lijun Wang,
Jianping Wu,
Ke Xu:
Analysis of BGP Convergence Using SHLPN Model.
AICT 2007: 4 |
| 84 | EE | Ke Xu,
Chiu-sing Choy:
Low-power H.264/AVC baseline decoder for portable applications.
ISLPED 2007: 256-261 |
| 83 | EE | Guozhi Wei,
Anne Wei,
Ke Xu,
Gerard Dupeyrat:
Optimization of Mobile IPv6 Handover Performance Using E-HCF Method.
International Conference on Computational Science (4) 2007: 506-513 |
| 82 | EE | Rui Sun,
Ke Xu,
Zhao Li,
Li Zhang:
A Strategyproof Protocol in Mesh-Based Overlay Streaming System.
MMM (1) 2007: 495-504 |
| 81 | EE | Jianjun Yu,
Hao Su,
Gang Zhou,
Ke Xu:
SNet: skip graph based semantic web services discovery.
SAC 2007: 1393-1397 |
| 80 | EE | Xin Li,
Tian Liu,
Han Peng,
Liyan Qian,
Hongtao Sun,
Jin Xu,
Ke Xu,
Jiaqi Zhu:
Improved Exponential Time Lower Bound of Knapsack Problem Under BT Model.
TAMC 2007: 624-631 |
| 79 | EE | Ke Xu,
Frédéric Boussemart,
Fred Hemery,
Christophe Lecoutre:
Random constraint satisfaction: Easy generation of hard (satisfiable) instances.
Artif. Intell. 171(8-9): 514-534 (2007) |
| 78 | EE | Lijun Wang,
Jianping Wu,
Ke Xu:
Modified flap damping mechanism to improve inter-domain routing convergence.
Computer Communications 30(7): 1588-1599 (2007) |
| 77 | EE | Ying Liu,
Samuel Müller,
Ke Xu:
A static compliance-checking framework for business process models.
IBM Systems Journal 46(2): 335-362 (2007) |
| 76 | EE | Yong Cui,
Ke Xu,
Jianping Wu,
Linjian Song:
CBroadcast: an Application Layer Multicast mechanism based on combination of central control and self-organisation.
IJAHUC 2(4): 232-238 (2007) |
| 75 | EE | Ke Xu,
Yuexuan Wang,
Cheng Wu:
Formal verification technique for grid service chain model and its application.
Science in China Series F: Information Sciences 50(1): 1-20 (2007) |
| 2006 |
|---|
| 74 | EE | Ke Xu,
Yuexuan Wang,
Cheng Wu:
Aspect Oriented Region Analysis for Efficient Grid Application Reasoning.
GCC 2006: 28-31 |
| 73 | EE | Ke Xu,
Yuexuan Wang,
Cheng Wu:
Ensuring Secure and Robust Grid Applications - From a Formal Method Point of View.
GPC 2006: 537-546 |
| 72 | EE | Kun Wu,
Jianping Wu,
Ke Xu:
A Tree-Based Distributed Model for BGP Route Processing.
HPCC 2006: 119-128 |
| 71 | EE | Suogang Li,
Jianping Wu,
Ke Xu,
Ying Liu:
Heterogeneous QoS Multicast and Its Improvement on Edge-Based Overlay Networks.
HPCC 2006: 436-446 |
| 70 | EE | Ke Xu,
Ying Liu,
Cheng Wu:
Guided Reasoning of Complex E-Business Process with Business Bug Patterns.
ICEBE 2006: 195-202 |
| 69 | EE | Kun Wu,
Jianping Wu,
Lizheng Fu,
Ke Xu:
PS2: An HA-Enabled Memory Management Scheme In Core Routers.
ICNS 2006: 26 |
| 68 | EE | Lijun Wang,
Ke Xu,
Jianping Wu:
BGP Route Selection Notice.
ICOIN 2006: 440-449 |
| 67 | EE | Yong Cui,
Lingjian Song,
Ke Xu:
RCS: A Distributed Mechanism Against Link Flooding DDoS Attacks.
ICOIN 2006: 764-774 |
| 66 | EE | Zhao Li,
Lizheng Fu,
Ke Xu,
Zhenyu Shi,
Jianping Wu:
Smooth Handoff Based on Virtual Interface in Wireless Network.
ICWMC 2006: 79 |
| 65 | EE | Suogang Li,
Jianping Wu,
Ke Xu,
Ying Liu:
A modularized QoS multicasting approach on common homogeneous trees for heterogeneous members in DiffServ.
IPCCC 2006 |
| 64 | EE | Wei Zhou,
Ke Xu,
J. Liu,
Chi-Hung Chi:
Truthful application-layer multicast in mesh-based selfish overlays.
IPCCC 2006 |
| 63 | EE | Ke Xu,
Oliver Chiu-sing Choy,
Cheong-fat Chan,
Kong-Pong Pun:
Power-efficient VLSI implementation of bitstream parsing in H.264/AVC decoder.
ISCAS 2006 |
| 62 | EE | Ke Xu,
Jiangchuan Liu,
Lizheng Fu,
Chunyu Liu:
On the Stability of Application-Layer Multicast Tree.
ISCIS 2006: 401-412 |
| 61 | EE | Dan Li,
Jianping Wu,
Yong Cui,
Jiangchuan Liu,
Ke Xu:
Trustworthy Distributed Algorithm Design to Defend Distance Cheating in Link-Weighted ALM.
ISCIS 2006: 844-853 |
| 60 | EE | Guozhi Wei,
Anne Wei,
Ke Xu,
Hui Deng:
Handover Control Function Based Handover for Mobile IPv6.
International Conference on Computational Science (4) 2006: 17-24 |
| 59 | EE | Kun Wu,
Jianping Wu,
Ke Xu:
A Novel Control Plane Model of Extensible Routers.
International Conference on Computational Science (4) 2006: 33-40 |
| 58 | EE | Ke Xu,
Yuexuan Wang,
Cheng Wu:
Service Provenance based Abstraction of Grid Application Knowledge.
SKG 2006: 50 |
| 57 | EE | Jianping Wu,
Ke Xu:
Research on Next-Generation Internet Architecture.
J. Comput. Sci. Technol. 21(5): 723-731 (2006) |
| 56 | EE | Ke Xu,
Wei Li:
Many hard examples in exact phase transitions.
Theor. Comput. Sci. 355(3): 291-302 (2006) |
| 2005 |
|---|
| 55 | | Ke Xu,
Héctor Muñoz-Avila:
A Domain-Independent System for Case-Based Task Decomposition without Domain Theories.
AAAI 2005: 234-240 |
| 54 | EE | Dan Li,
Jianping Wu,
Ke Xu,
Yong Cui,
Ying Liu,
Xiaoping Zhang:
Performance Analysis of Multicast Routing Protocol PIM-SM.
AICT/SAPIR/ELETE 2005: 157-162 |
| 53 | EE | Clara Boj Tovar,
Diego J. Díaz,
Adrian David Cheok,
Ke Xu,
Wei Liu:
Free network visible network.
Advances in Computer Entertainment Technology 2005: 395-396 |
| 52 | EE | Tran Cong Thien Qui,
Ta Huynh Duy Nguyen,
Asitha Mallawaarachchi,
Ke Xu,
Wei Liu,
Shang Ping Lee,
Zhiying Zhou,
Sze Lee Teo,
Hui Siang Teo,
Le Nam Thang,
Yu Li,
Adrian David Cheok,
Hirokazu Kato:
Magic land: live 3D human capture mixed reality interactive system.
CHI Extended Abstracts 2005: 1142-1143 |
| 51 | EE | Adrian David Cheok,
Ke Xu,
Wei Liu,
Diego Diaz Garcia,
Clara Boj Tovar:
Aesthetic Entertainment of Social Network Interaction: Free Network Visible Network.
ICEC 2005: 527-530 |
| 50 | EE | Shen Lin,
Yong Cui,
Mingwei Xu,
Ke Xu:
Quality of Service Routing Network and Performance Evaluation.
ICN (2) 2005: 202-209 |
| 49 | EE | Hui-shan Liu,
Ke Xu,
Mingwei Xu,
Yong Cui:
S-Chord: Hybrid Topology Makes Chord Efficient.
ICN (2) 2005: 480-487 |
| 48 | EE | Luo Wen,
Jianping Wu,
Ke Xu:
Overlay Logging: An IP Traceback Scheme in MPLS Network.
ICN (2) 2005: 75-82 |
| 47 | EE | Suogang Li,
Jianping Wu,
Ke Xu:
ComBAQ: Provisioning Loss Differentiated Services for Hybrid Traffic in Routers.
ICOIN 2005: 313-320 |
| 46 | EE | Hui-shan Liu,
Ke Xu,
Mingwei Xu,
Yong Cui:
3Sons: Semi-structured Substrate Support for Overlay Network Services.
ICOIN 2005: 590-599 |
| 45 | EE | Ke Xu,
Frédéric Boussemart,
Fred Hemery,
Christophe Lecoutre:
A Simple Model to Generate Hard Satisfiable Instances.
IJCAI 2005: 337-342 |
| 44 | EE | Qiang Ding,
Ke Xu,
Hui-shan Liu:
Construct Optimal Diameter Network and d-partition Routing Algorithm.
ISPA Workshops 2005: 74-81 |
| 43 | EE | Yuexuan Wang,
Cheng Wu,
Ke Xu:
Study on pi-Calculus Based Equipment Grid Service Chain Model.
NPC 2005: 40-47 |
| 42 | EE | Dan Li,
Yong Cui,
Ke Xu,
Jianping Wu:
Improvement of Multicast Routing Protocol Using Petri Nets.
RSFDGrC (2) 2005: 634-643 |
| 41 | EE | Ke Xu,
Frédéric Boussemart,
Fred Hemery,
Christophe Lecoutre:
A Simple Model to Generate Hard Satisfiable Instances
CoRR abs/cs/0509032: (2005) |
| 40 | EE | Yong Cui,
Jianping Wu,
Ke Xu:
Precomputation for intra-domain QoS routing.
Computer Networks 47(6): 923-937 (2005) |
| 39 | EE | Ta Huynh Duy Nguyen,
Tran Cong Thien Qui,
Ke Xu,
Adrian David Cheok,
Sze Lee Teo,
Zhiying Zhou,
Asitha Mallawaarachchi,
Shang Ping Lee,
Wei Liu,
Hui Siang Teo,
Le Nam Thang,
Yu Li,
Hirokazu Kato:
Real-Time 3D Human Capture System for Mixed-Reality Art and Entertainment.
IEEE Trans. Vis. Comput. Graph. 11(6): 706-721 (2005) |
| 38 | EE | Farzam Farbiz,
Adrian David Cheok,
Wei Liu,
Zhiying Zhou,
Ke Xu,
Simon Prince,
Mark Billinghurst,
Hirokazu Kato:
Live three-dimensional content for augmented reality.
IEEE Transactions on Multimedia 7(3): 514-523 (2005) |
| 2004 |
|---|
| 37 | | Ke Xu,
Héctor Muñoz-Avila:
CaBMA: Case-Based Project Management Assistant.
AAAI 2004: 931-936 |
| 36 | EE | Jin Qi,
Yangsheng Wang,
Zhongchao Shi,
Ke Xu,
Xuying Zhao:
Fingerprint Matching Integrating the Global Orientation Field with Minutia.
ICBA 2004: 337-343 |
| 35 | EE | Yong Cui,
Ke Xu,
Jianping Wu:
Multi-constrained End-to-End Admission Control in Core-Stateless Networks.
ICOIN 2004: 420-429 |
| 34 | EE | Zhiyong Liang,
Ke Xu,
Jianping Wu:
A Scalable Parallel Lookup Framework Avoiding Longest Prefix Match.
ICOIN 2004: 616-625 |
| 33 | EE | Ke Xu,
Stephen R. Tate:
Universally Composable Secure Mobile Agent Computation.
ISC 2004: 304-317 |
| 32 | EE | Miao Zhang,
Fengyuan Ren,
Jianping Wu,
Ke Xu:
Using fuzzy-PI controller in active queue management.
ISCC 2004: 742-747 |
| 31 | EE | Ke Xu,
Wei Li:
On the average similarity degree between solutions of random k-SAT and random CSPs.
Discrete Applied Mathematics 136(1): 125-149 (2004) |
| 2003 |
|---|
| 30 | EE | Ke Xu,
Héctor Muñoz-Avila:
CBM-Gen+: An Algorithm for Reducing Case Base Inconsistencies in Hierarchical and Incomplete Domains.
ICCBR 2003: 665-678 |
| 29 | EE | Ke Xu,
Héctor Muñoz-Avila:
Maintaining Consistency in Project Planning Reuse.
ICCBR 2003: 679-690 |
| 28 | EE | Feng Shi,
Jianping Wu,
Ke Xu:
The Stability Problem of Multicast Trees in Layered Multicast.
ICOIN 2003: 212-221 |
| 27 | EE | Miao Zhang,
Jianping Wu,
Chuang Lin,
Ke Xu,
Mingwei Xu:
SAP: On Designing Simple AQM Algorithm for Supporting TCP Flows.
ICOIN 2003: 515-524 |
| 26 | EE | Yong Cui,
Ke Xu,
Mingwei Xu,
Jianping Wu:
Optimal QoS Routing Based on Extended Simulated Annealing.
ICOIN 2003: 553-562 |
| 25 | EE | Yong Cui,
Ke Xu,
Jianping Wu:
Precomputation for Multi-constrained QoS Routing in High-speed Networks.
INFOCOM 2003 |
| 24 | EE | Lei Sun,
Ke Xu,
Weidong Liu,
Jianping Wu:
TMS: A Scalable Transition Multicast Scheme.
IWDC 2003: 80-90 |
| 23 | | Stephen R. Tate,
Ke Xu:
Mobile Agent Security Through Multi-Agent Cryptographic Protocols.
International Conference on Internet Computing 2003: 462-470 |
| 22 | EE | Qingguo Zheng,
Ke Xu,
Shilong Ma:
When to Update the Sequential Patterns of Stream Data?
PAKDD 2003: 545-550 |
| 21 | EE | Wen-Yu Dong,
Ke Xu,
Meng-Xiang Lin:
A Situation Calculus-based Approach To Model Ubiquitous Information Services
CoRR cs.AI/0311052: (2003) |
| 20 | EE | Ke Xu,
Wei Li:
Many Hard Examples in Exact Phase Transitions with Application to Generating Hard Satisfiable Instances
CoRR cs.CC/0302001: (2003) |
| 19 | EE | Ke Xu,
Simon Prince,
Adrian David Cheok,
Yan Qiu,
Krishnamoorthy Ganesh Kumar:
Visual registration for unprepared augmented reality environments.
Personal and Ubiquitous Computing 7(5): 287-298 (2003) |
| 2002 |
|---|
| 18 | EE | Shilong Ma,
Yuefei Sui,
Ke Xu:
The Limits of Horn Logic Programs.
ICLP 2002: 467 |
| 17 | EE | Miao Zhang,
Jianping Wu,
Chuang Lin,
Ke Xu:
Rethink the tradeoff between proportional controller and PI controller.
ISCC 2002: 57-62 |
| 16 | EE | Ke Xu,
Adrian David Cheok,
Kar Wee Chia,
Simon Prince:
Visual Registration for Geographical Labeling in Wearable Computing.
ISWC 2002: 109-116 |
| 15 | EE | Shilong Ma,
Yuefei Sui,
Ke Xu:
The Prioritized Inductive Logic Programs
CoRR cs.AI/0206017: (2002) |
| 14 | EE | Qingguo Zheng,
Ke Xu,
Shilong Ma,
Weifeng Lv:
The Algorithms of Updating Sequetial Patterns
CoRR cs.DB/0203027: (2002) |
| 13 | EE | Qingguo Zheng,
Ke Xu,
Shilong Ma:
When to Update the sequential patterns of stream data?
CoRR cs.DB/0203028: (2002) |
| 12 | EE | Qingguo Zheng,
Ke Xu,
Weifeng Lv,
Shilong Ma:
Intelligent Search of Correlated Alarms for GSM Networks with Model-based Constraints
CoRR cs.NI/0204055: (2002) |
| 11 | EE | Simon Prince,
Ke Xu,
Adrian David Cheok:
Augmented Reality Camera Tracking with Homographies.
IEEE Computer Graphics and Applications 22(6): 39-45 (2002) |
| 10 | EE | Ke Xu,
Jianping Wu,
Zhongchao Yu,
Mingwei Xu:
A Non-Collision Hash Trie-Tree Based Fast IP Classification Algorithm.
J. Comput. Sci. Technol. 17(2): 219-226 (2002) |
| 2001 |
|---|
| 9 | | Ke Xu,
Wei Li:
An Average Analysis of Backtracking on Random Constraint Satisfaction Problems.
Ann. Math. Artif. Intell. 33(1): 21-37 (2001) |
| 8 | EE | Shilong Ma,
Yuefei Sui,
Ke Xu:
The Limits of Horn Logic Programs
CoRR cs.LO/0103008: (2001) |
| 7 | EE | Wei Li,
Shilong Ma,
Yuefei Sui,
Ke Xu:
A Logical Framework for Convergent Infinite Computations
CoRR cs.LO/0105020: (2001) |
| 6 | EE | Qingguo Zheng,
Ke Xu,
Weifeng Lv,
Shilong Ma:
Intelligent Search of Correlated Alarms from Database containing Noise Data
CoRR cs.NI/0109042: (2001) |
| 2000 |
|---|
| 5 | EE | Ke Xu,
Wei Li:
Exact Phase Transitions in Random Constraint Satisfaction Problems
CoRR cs.AI/0004005: (2000) |
| 4 | EE | Ke Xu,
Wei Li:
The SAT Phase Transition
CoRR cs.AI/0005024: (2000) |
| 3 | EE | Ke Xu,
Wei Li:
On the Average Similarity Degree between Solutions of Random k-SAT and Random CSPs
CoRR cs.AI/0008008: (2000) |
| 2 | EE | Ke Xu,
Wei Li:
An Average Analysis of Backtracking on Random Constraint Satisfaction Problems
CoRR cs.CC/0005011: (2000) |
| 1 | EE | Ke Xu,
Wei Li:
Exact Phase Transitions in Random Constraint Satisfaction Problems.
J. Artif. Intell. Res. (JAIR) 12: 93-103 (2000) |
