1. Progress in Computational Complexity Theory

   • Jin-Yi Cai
   • Hong Zhu

   OriginalPaper Pages: 735 - 750

2. Towards a Mathematical Theory of Knowledge^*

   • Ru-Qian Lu

   OriginalPaper Pages: 751 - 757

3. Complexities of Homomorphism and Isomorphism for Definite Logic Programs

   • Dao-Yun Xu
   • Zhi-Hong Tao

   OriginalPaper Pages: 758 - 762

4. L-Tree Match: A New Data Extraction Model and Algorithm for Huge Text Stream with Noises

   • Xu-Bin Deng
   • Yang-Yong Zhu

   OriginalPaper Pages: 763 - 773

5. A Generalized Real-Time Obstacle Avoidance Method Without the Cspace Calculation

   • Yong-Ji Wang
   • Matthew Cartmell
   • Han Liu

   OriginalPaper Pages: 774 - 787

6. An Ontology-Based Framework for Semi-Automatic Schema Integration

   • Zille Huma
   • Muhammad Jaffar-Ur Rehman
   • Nadeem Iftikhar

   OriginalPaper Pages: 788 - 796

7. QoS Support in TDMA-Based Mobile Ad Hoc Networks

   • Imad Jawhar
   • Jie Wu

   OriginalPaper Pages: 797 - 810

8. Broadcast-Based Spatial Queries

   • Kwang-Jin Park
   • Moon-Bae Song
   • Chong-Sun Hwang

   OriginalPaper Pages: 811 - 821

9. Fault-Tolerant Wormhole Routing with 2 Virtual Channels in Meshes

   • Ji-Peng Zhou

   OriginalPaper Pages: 822 - 830

10. Quantitative QoS Management Implement Mechanism in IP-DiffServ

    • Zhang Jin-Yu
    • Li Liu
    • Feng Liu

    OriginalPaper Pages: 831 - 835

11. A General Sufficient Condition of Four Positive Solutions of the P3P Problem

    • Cai-Xia Zhang
    • Zhan-Yi Hu

    OriginalPaper Pages: 836 - 842

12. A New Technique for Digital Image Watermarking

    • Xiang-Sheng Wu

    OriginalPaper Pages: 843 - 848

13. Robust Non-Frontal Face Alignment with Edge Based Texture

    • Hua Li
    • Shui-Cheng Yan
    • Li-Zhong Peng

    OriginalPaper Pages: 849 - 854

14. Visual Ontology Construction for Digitized Art Image Retrieval

    • Shu-Qiang Jiang
    • Jun Du
    • Wen Gao

    OriginalPaper Pages: 855 - 860

15. Generating Symbolic Interpolants for Scattered Data with Normal Vectors

    • Ming Li
    • Xiao-Shan Gao
    • Jin-San Cheng

    OriginalPaper Pages: 861 - 874

16. An Efficient Evaluation and Vector Generation Method for Observability-Enhanced Statement Coverage

    • Wei Lu
    • Xiu-Tao Yang
    • Xiao-Wei Li

    OriginalPaper Pages: 875 - 884

17. An Error Recoverable Structure Based on Complementary Logic and Alternating-Retry

    • Jian-Hui Jiang

    OriginalPaper Pages: 885 - 894

18. Novel Synthesis and Optimization of Multi-Level Mixed Polarity Reed-Muller Functions

    • Yin-Shui Xia
    • Lun-Yao Wang
    • Jian-Ping Hu

    OriginalPaper Pages: 895 - 900

19. Shielding Area Optimization Under the Solution of Interconnect Crosstalk

    • Yi-Ci Cai
    • Xin Zhao
    • Xian-Long Hong

    OriginalPaper Pages: 901 - 906