1. Preface

   • Zhi-Wei Xu

   OriginalPaper Pages: 1 - 2

2. Penalty Formulations and Trap-Avoidance Strategies for Solving Hard Satisfiability Problems

   • Benjamin W. Wah
   • Zhe Wu

   OriginalPaper Pages: 3 - 17

3. Parameterized Computation and Complexity: A New Approach Dealing with NP-Hardness

   • Jian-Er Chen

   OriginalPaper Pages: 18 - 37

4. Formal Verification Techniques Based on Boolean Satisfiability Problem

   • Xiao-Wei Li
   • Guang-Hui Li
   • Ming Shao

   OriginalPaper Pages: 38 - 47

5. Adapt Bagging to Nearest Neighbor Classifiers

   • Zhi-Hua Zhou
   • Yang Yu

   OriginalPaper Pages: 48 - 54

6. Searching Databases with Keywords

   • Shan Wang
   • Kun-Long Zhang

   OriginalPaper Pages: 55 - 62

7. Effect of Count Estimation in Finding Frequent Itemsets over Online Transactional Data Streams

   • Joong Hyuk Chang
   • Won Suk Lee

   OriginalPaper Pages: 63 - 69

8. Online Palmprint Identification System for Civil Applications

   • David Zhang
   • Guang-Ming Lu
   • Michael Wong

   OriginalPaper Pages: 70 - 76

9. Polygonal Shape Blending with Topological Evolutions

   • Li-Gang Liu
   • Bo Zhang
   • Heung-Yeung Shum

   OriginalPaper Pages: 77 - 89

10. A Quotient Space Approximation Model of Multiresolution Signal Analysis

    • Ling Zhang
    • Bo Zhang

    OriginalPaper Pages: 90 - 94

11. Predicate μ-Calculus for Mobile Ambients

    • Hui-Min Lin

    OriginalPaper Pages: 95 - 104

12. BLOSSOMS: Building Lightweight Optimized Sensor Systems on a Massive Scale

    • Wen Gao
    • Lionel M. Ni
    • Qiong Luo

    OriginalPaper Pages: 105 - 177

13. CORBA-Based Analysis of Multi Agent Behavior

    • Swapan Bhattacharya
    • Anirban Banerjee
    • Shibdas Bandyopadhyay

    OriginalPaper Pages: 118 - 124

14. Integrating Parallelizing Compilation Technologies for SMP Clusters

    • Xiao-Bing Feng
    • Li Chen
    • Zhao-Qing Zhang

    OriginalPaper Pages: 125 - 133

15. Urban Traffic Information Service Application Grid

    • Chang-Jun Jiang
    • Zhao-Hui Zhang
    • Lei Liu

    OriginalPaper Pages: 134 - 140

16. Viewpoints on Grid Standards

    • Andrew A. Chien
    • Xian-He Sun
    • Zhi-Wei Xu

    OriginalPaper Pages: 141 - 143

17. Book Review on “Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists”

    • Jian Pei

    BookReview Pages: 144 - 145