2009 | ||
---|---|---|
70 | Haiwei Dong, Zhiwei Luo, Weidong Chen: Sparsing of information matrix for practical application of a robot's SLAM. ICRA 2009: 4031-4036 | |
69 | Weidong Chen, Wenjun Xiao, Behrooz Parhami: Swapped (OTIS) Networks Built of Connected Basis Networks Are Maximally Fault Tolerant. IEEE Trans. Parallel Distrib. Syst. 20(3): 361-366 (2009) | |
68 | Weidong Chen: A Fast Convergence Algorithm for Band-Limited Extrapolation by Sampling. IEEE Transactions on Signal Processing 57(1): 161-167 (2009) | |
2008 | ||
67 | Yi Li, Weidong Chen, Dongming Lu: The Application of Natural Neighbor Interpolation in Real-Time Environments. CW 2008: 306-313 | |
66 | Weidong Chen, Enmin Song: Lower bounds on several versions of signed domination number. Discrete Mathematics 308(10): 1837-1846 (2008) | |
65 | Wenjun Xiao, Wenhong Wei, Weidong Chen, Mingxin He, Behrooz Parhami: Comments on "Low Diameter Interconnections for Routing in High-Performance Parallel Systems, " with Connections and Extensions to Arc Coloring of Coset Graphs. IEEE Trans. Computers 57(12): 1726-1728 (2008) | |
64 | Zhijun Li, Weidong Chen, Jun Luo: Adaptive compliant force-motion control of coordinated non-holonomic mobile manipulators interacting with unknown non-rigid environments. Neurocomputing 71(7-9): 1330-1344 (2008) | |
2007 | ||
63 | Weidong Chen, Wenjun Xiao, Behrooz Parhami: An Efficient Construction of Node Disjoint Paths in OTIS Networks. APPT 2007: 180-189 | |
62 | Mingxin He, Wenjun Xiao, Weidong Chen, Wenhong Wei, Zhen Zhang: General Biswapped Networks and Their Topological Properties. APPT 2007: 414-422 | |
61 | Xin Ma, Qin Zhang, Weidong Chen, Yibin Li: Immunity-Based Adaptive Genetic Algorithm for Multi-robot Cooperative Exploration. ICIC (2) 2007: 605-616 | |
60 | Fei Zhang, Weidong Chen: Self-healing for mobile robot networks with motion synchronization. IROS 2007: 3107-3112 | |
59 | Wenjun Xiao, Weidong Chen, Mingxin He, Wenhong Wei, Behrooz Parhami: Biswapped Networks and Their Topological Properties. SNPD (2) 2007: 193-198 | |
58 | Yuan F. Zheng, Weidong Chen: Mobile robot team forming for crystallization of proteins. Auton. Robots 23(1): 69-78 (2007) | |
57 | 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 | ||
56 | Tianbing Xu, Weidong Chen: A Fast Adaptive Statistical Genetic Motion Search Algorithm for H.264/AVC^1. AINA (1) 2006: 553-558 | |
55 | Jianhua Dai, Weidong Chen, Hongying Gu, Yunhe Pan: Particle Swarm Algorithm for Minimal Attribute Reduction of Decision Data Tables. IMSCCS (2) 2006: 572-575 | |
54 | Fei Zhang, Weidong Chen, Yugeng Xi: Motion Synchronization in Mobile Robot Networks: Robustness. IROS 2006: 5570-5575 | |
53 | Yi Li, Weidong Chen, Dongming Lu, Lei Zhao: Applying Natural Neighbor Coordinates for Electromagnetic Tracker Calibration. ISCIS 2006: 353-362 | |
52 | Jianhua Dai, Hanfei Lv, Weidong Chen, Yunhe Pan: Two Kinds of Rough Algebras and Brouwer-Zadeh Lattices. RSCTC 2006: 99-106 | |
51 | Jianhua Dai, Weidong Chen, Yunhe Pan: Rough Sets and Brouwer-Zadeh Lattices. RSKT 2006: 200-207 | |
2005 | ||
50 | Jianhua Dai, Weidong Chen, Yunhe Pan: Sequent calculus system for rough sets based on rough Stone algebras. GrC 2005: 423-426 | |
49 | 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 | Yong Liu, Congfu Xu, Zhaohui Wu, Weidong Chen, Yunhe Pan: A Finite State Mobile Agent Computation Model. APWeb 2004: 152-157 | |
46 | Yuan F. Zheng, Weidong Chen: Robot Team Forming of Membrane Proteins in Crystallization. ICRA 2004: 1462-1467 | |
45 | Jianqiang Jia, Weidong Chen, Yugeng Xi: Design and Implementation of an Open Autonomous Mobile Robot System. ICRA 2004: 1726-1731 | |
44 | 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 | 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 | Jianqiang Jia, Weidong Chen, Yugeng Xi: A Rule-Driven Autonomous Robotic System Operating in a Time-Varying Environment. RoboCup 2003: 487-494 | |
2002 | ||
40 | 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 | 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 | 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 | 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 | R. Ramesh, Weidong Chen: Implementation of Tabled Evaluation with Delaying in Prolog. IEEE Trans. Knowl. Data Eng. 9(4): 559-574 (1997) | |
29 | 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 | 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 | 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 | Weidong Chen, Michael Kifer: Sorted HiLog: Sorts in Higher-Order Logic Data Languages. ICDT 1995: 252-265 | |
21 | Weidong Chen: Declarative Updates of Relational Databases. ACM Trans. Database Syst. 20(1): 42-70 (1995) | |
20 | Weidong Chen: Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics ACM Trans. Database Syst. 20(3): 239-287 (1995) | |
19 | 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 | 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 | 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 | Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378 | |
3 | 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 |