| 2007 |
|---|
| 60 | EE | Weidong Chen,
Wenjun Xiao,
Behrooz Parhami:
An Efficient Construction of Node Disjoint Paths in OTIS Networks.
APPT 2007: 180-189 |
| 59 | EE | Mingxin He,
Wenjun Xiao,
Weidong Chen,
Wenhong Wei,
Zhen Zhang:
General Biswapped Networks and Their Topological Properties.
APPT 2007: 414-422 |
| 58 | EE | Xin Ma,
Qin Zhang,
Weidong Chen,
Yibin Li:
Immunity-Based Adaptive Genetic Algorithm for Multi-robot Cooperative Exploration.
ICIC (2) 2007: 605-616 |
| 57 | EE | Yuan F. Zheng,
Weidong Chen:
Mobile robot team forming for crystallization of proteins.
Auton. Robots 23(1): 69-78 (2007) |
| 56 | EE | Dengguo Feng,
Weidong Chen:
Modular approach to the design and analysis of password-based security protocols.
Science in China Series F: Information Sciences 50(3): 381-398 (2007) |
| 2006 |
|---|
| 55 | EE | Tianbing Xu,
Weidong Chen:
A Fast Adaptive Statistical Genetic Motion Search Algorithm for H.264/AVC^1.
AINA (1) 2006: 553-558 |
| 54 | EE | Jianhua Dai,
Weidong Chen,
Hongying Gu,
Yunhe Pan:
Particle Swarm Algorithm for Minimal Attribute Reduction of Decision Data Tables.
IMSCCS (2) 2006: 572-575 |
| 53 | EE | Yi Li,
Weidong Chen,
Dongming Lu,
Lei Zhao:
Applying Natural Neighbor Coordinates for Electromagnetic Tracker Calibration.
ISCIS 2006: 353-362 |
| 52 | EE | Jian-Hua Dai,
Hanfei Lv,
Weidong Chen,
Yunhe Pan:
Two Kinds of Rough Algebras and Brouwer-Zadeh Lattices.
RSCTC 2006: 99-106 |
| 51 | EE | Jianhua Dai,
Weidong Chen,
Yunhe Pan:
Rough Sets and Brouwer-Zadeh Lattices.
RSKT 2006: 200-207 |
| 2005 |
|---|
| 50 | EE | Jianhua Dai,
Weidong Chen,
Yunhe Pan:
Sequent calculus system for rough sets based on rough Stone algebras.
GrC 2005: 423-426 |
| 49 | EE | Qingshu Yuan,
Dongming Lu,
Weidong Chen,
Yunhe Pan:
MultiPro: A Platform for PC Cluster Based Active Stereo Display System.
ICCSA (1) 2005: 865-874 |
| 48 | | Fei Zhang,
Weidong Chen,
Yugeng Xi:
Improving Collaboration through Fusion of Bid Information for Market-based Multi-robot Exploration.
ICRA 2005: 1157-1162 |
| 2004 |
|---|
| 47 | EE | Yong Liu,
Congfu Xu,
Zhaohui Wu,
Weidong Chen,
Yunhe Pan:
A Finite State Mobile Agent Computation Model.
APWeb 2004: 152-157 |
| 46 | EE | Yuan F. Zheng,
Weidong Chen:
Robot Team Forming of Membrane Proteins in Crystallization.
ICRA 2004: 1462-1467 |
| 45 | EE | Jianqiang Jia,
Weidong Chen,
Yugeng Xi:
Design and Implementation of an Open Autonomous Mobile Robot System.
ICRA 2004: 1726-1731 |
| 44 | EE | Jinlong Wang,
Congfu Xu,
Weidong Chen,
Yunhe Pan:
Survey of the study on frequent pattern mining in data streams.
SMC (6) 2004: 5917-5922 |
| 2003 |
|---|
| 43 | EE | Yong Liu,
Congfu Xu,
Zhaohui Wu,
Weidong Chen,
Yunhe Pan:
A Virtual Organization Based Mobile Agent Computation Model.
GCC (2) 2003: 677-682 |
| 42 | | Weidong Chen,
Changhong Fan,
Yugeng Xi:
On-line safe path planning in unknown environments.
ICRA 2003: 4191-4196 |
| 41 | EE | Jianqiang Jia,
Weidong Chen,
Yugeng Xi:
A Rule-Driven Autonomous Robotic System Operating in a Time-Varying Environment.
RoboCup 2003: 487-494 |
| 2002 |
|---|
| 40 | EE | Apostol Natsev,
Gene Y. C. Fuh,
Weidong Chen,
Chi-Huang Chiu,
Jeffrey Scott Vitter:
Aggregate Predicate Support in DBMS.
Australasian Database Conference 2002 |
| 2001 |
|---|
| 39 | | Stefan Deßloch,
Weidong Chen,
Jyh-Herng Chow,
You-Chin Fuh,
Jean Grandbois,
Michelle Jou,
Nelson Mendonça Mattos,
Raiko Nitzsche,
Brian T. Tran,
Yun Wang:
Extensible Indexing Support in DB2 Universal Database.
Compontent Database Systems 2001: 105-138 |
| 38 | | Yu Wang,
Weidong Chen:
Supporting IP Multicast for Mobile Hosts.
MONET 6(1): 57-66 (2001) |
| 2000 |
|---|
| 37 | | Weidong Chen,
Jeffrey F. Naughton,
Philip A. Bernstein:
Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, May 16-18, 2000, Dallas, Texas, USA.
ACM 2000 |
| 1999 |
|---|
| 36 | EE | Weidong Chen,
Jyh-Herng Chow,
You-Chin Fuh,
Jean Grandbois,
Michelle Jou,
Nelson Mendonça Mattos,
Brian T. Tran,
Yun Wang:
High Level Indexing of User-Defined Types.
VLDB 1999: 554-564 |
| 35 | EE | You-Chin Fuh,
Stefan Deßloch,
Weidong Chen,
Nelson Mendonça Mattos,
Brian T. Tran,
Bruce G. Lindsay,
Linda DeMichel,
Serge Rielau,
Danko Mannhaupt:
Implementation of SQL3 Structured Types with Inheritance and Value Substitutability.
VLDB 1999: 565-574 |
| 34 | EE | Israel Hilerio,
Weidong Chen:
Herbal-T, enabling integration, interoperability, and reusability of Internet components.
WACC 1999: 49-58 |
| 33 | | Julie Yu-Chih Liu,
Leroy Adams,
Weidong Chen:
Constructive Negation Under the Well-Founded Semantics.
J. Log. Program. 38(3): 295-330 (1999) |
| 1997 |
|---|
| 32 | | Israel Hilerio,
Weidong Chen:
Herbal-T Internet Desktop.
WebNet 1997 |
| 31 | | Weidong Chen,
Julie Yu-Chih Liu:
A Procedural Semantics for Stratified Database Updates.
Ann. Math. Artif. Intell. 21(2-4): 187-220 (1997) |
| 30 | EE | R. Ramesh,
Weidong Chen:
Implementation of Tabled Evaluation with Delaying in Prolog.
IEEE Trans. Knowl. Data Eng. 9(4): 559-574 (1997) |
| 29 | EE | Weidong Chen:
Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning.
IEEE Trans. Knowl. Data Eng. 9(4): 587-599 (1997) |
| 1996 |
|---|
| 28 | | Weidong Chen,
Eric C. Lin:
Route Optimization and Location Updates for Mobile Hosts.
ICDCS 1996: 319-326 |
| 27 | EE | Weidong Chen,
David Scott Warren:
Computation of Stable Models and Its Integration with Logical Query Processing.
IEEE Trans. Knowl. Data Eng. 8(5): 742-757 (1996) |
| 26 | EE | Weidong Chen,
David Scott Warren:
Tabled Evaluation With Delaying for General Logic Programs.
J. ACM 43(1): 20-74 (1996) |
| 25 | | Weidong Chen,
Jinghong Zeng:
Nondeterminism Through Well-Founded Choice.
J. Log. Program. 26(3): 285-309 (1996) |
| 24 | | Weidong Chen:
Extending Prolog with Nonmonotonic Reasoning.
J. Log. Program. 27(2): 169-183 (1996) |
| 23 | | Weidong Chen,
David Scott Warren:
Predicate Abstractions in Higher-Order Logic Programming.
New Generation Comput. 14(2): 195-236 (1996) |
| 1995 |
|---|
| 22 | EE | Weidong Chen,
Michael Kifer:
Sorted HiLog: Sorts in Higher-Order Logic Data Languages.
ICDT 1995: 252-265 |
| 21 | EE | Weidong Chen:
Declarative Updates of Relational Databases.
ACM Trans. Database Syst. 20(1): 42-70 (1995) |
| 20 | EE | Weidong Chen:
Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics
ACM Trans. Database Syst. 20(3): 239-287 (1995) |
| 19 | EE | Ted Pedersen,
Weidong Chen:
Lexical Acquisition via Constraint Solving
CoRR cmp-lg/9502028: (1995) |
| 18 | | Weidong Chen,
Terrance Swift,
David Scott Warren:
Efficient Top-Down Computation of Queries under the Well-Founded Semantics.
J. Log. Program. 24(3): 161-199 (1995) |
| 1994 |
|---|
| 17 | | R. Ramesh,
Weidong Chen:
A Portable Method of Integrating SLG Resolution into Prolog Systems.
SLP 1994: 618-632 |
| 1993 |
|---|
| 16 | | Weidong Chen,
Terrance Swift,
David Scott Warren:
Goal-Directed Evaluation of Well-Founded Sematics for XSB.
ILPS 1993: 679 |
| 15 | EE | Weidong Chen,
David Scott Warren:
Query Evaluation under the Well Founded Semantics.
PODS 1993: 168-179 |
| 14 | | Weidong Chen,
Michael Kifer,
David Scott Warren:
HILOG: A Foundation for Higher-Order Logic Programming.
J. Log. Program. 15(3): 187-230 (1993) |
| 13 | | Weidong Chen,
David Scott Warren:
A Goal-Oriented Approach to Computing the Well-Founded Semantics.
J. Log. Program. 17(2/3&4): 279-300 (1993) |
| 1992 |
|---|
| 12 | | Israel Hilerio,
Roger Lippert,
Weidong Chen:
The Role of Expert System Shells in Hypertext Technology.
ICTAI 1992: 434-441 |
| 11 | | Weidong Chen,
David Scott Warren:
A Goal-Oriented Approach to Computing Well Founded Semantics.
JICSLP 1992: 589-603 |
| 1991 |
|---|
| 10 | | Weidong Chen:
Declarative Specification and Evaluation of Database Updates.
DOOD 1991: 147-166 |
| 9 | | Weidong Chen,
David Scott Warren:
An Intensional Logic of (Multi-Arity) Set Abstractions.
ICLP 1991: 97-110 |
| 8 | | Weidong Chen,
David Scott Warren:
Compilation of Predicate Abstractions in Higher-Order Logic Programming.
PLILP 1991: 287-298 |
| 1989 |
|---|
| 7 | EE | Weidong Chen,
Michael Kifer,
David Scott Warren:
HiLog as a Platform for Database Languages.
DBPL 1989: 315-329 |
| 6 | | Weidong Chen,
Michael Kifer,
David Scott Warren:
HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs.
NACLP 1989: 1090-1114 |
| 5 | | Weidong Chen,
David Scott Warren:
Abductive Resoning with Structured Data.
NACLP 1989: 851-867 |
| 4 | EE | Weidong Chen,
David Scott Warren:
C-Logic of Complex Objects.
PODS 1989: 369-378 |
| 3 | EE | Weidong Chen,
Michael Kifer,
David Scott Warren:
HiLog as a Platform for Database Languages.
IEEE Data Eng. Bull. 12(3): 37-44 (1989) |
| 1988 |
|---|
| 2 | | Weidong Chen,
David Scott Warren:
Objects as Intensions.
ICLP/SLP 1988: 404-419 |
| 1987 |
|---|
| 1 | | Weidong Chen:
A Theory of Modules Based on Second-Order Logic.
SLP 1987: 24-33 |
