1. Simultaneous Minimization of Capacity and Conflict Misses

   • Zhiyuan Li

   Short Paper 13 September 2007 Pages: 497 - 504

2. A Model of Grid Service Capacity

   • Youcef Derbal

   Regular Paper 13 September 2007 Pages: 505 - 514

3. Next High Performance and Low Power Flash Memory Package Structure

   • Jung-Hoon Lee

   Short Paper 13 September 2007 Pages: 515 - 520

4. Distributed Storage Cluster Design for Remote Mirroring Based on Storage Area Network

   • Jun Yao
   • Ji-Wu Shu
   • Wei-Min Zheng

   Short Paper 13 September 2007 Pages: 521 - 526

5. Adaptive Call Admission Control Based on Reward-Penalty Model in Wireless/Mobile Network

   • Jian-Hui Huang
   • De-Pei Qian
   • Sheng-Ling Wang

   Short Paper 13 September 2007 Pages: 527 - 531

6. Engineering the Divide-and-Conquer Closest Pair Algorithm

   • Minghui Jiang
   • Joel Gillespie

   Regular Paper 13 September 2007 Pages: 532 - 540

7. An Improvement of Herbrand's Theorem and Its Application to Model Generation Theorem Proving

   • Yu-Yan Chao
   • Li-Feng He
   • Hidenori Itoh

   Regular Paper 13 September 2007 Pages: 541 - 553

8. Consistency Property of Finite FC-Normal Logic Programs

   • Yi-Song Wang
   • Ming-Yi Zhang
   • Yu-Ping Shen

   Regular Paper 13 September 2007 Pages: 554 - 561

9. Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction

   • Xi-Shun Zhao
   • Yu-Ping Shen

   Short Paper 13 September 2007 Pages: 562 - 568

10. Quasi-Physical Algorithm of an Off-Lattice Model for Protein Folding Problem

    • Jing-Fa Liu
    • Wen-Qi Huang

    Short Paper 13 September 2007 Pages: 569 - 574

11. Barbed Congruence of Asymmetry and Mismatch

    • Xiao-Ju Dong
    • Yu-Xi Fu

    Short Paper 13 September 2007 Pages: 575 - 579

12. Spatially Adaptive Image Restoration Using Fuzzy Punctual Kriging

    • Anwar M. Mirza
    • Asmatullah Chaudhry
    • Badre Munir

    Regular Paper 13 September 2007 Pages: 580 - 589

13. Real-Time Texture Synthesis Using s-Tile Set

    • Feng Xue
    • You-Sheng Zhang
    • Rong-Gui Wang

    Regular Paper 13 September 2007 Pages: 590 - 596

14. AHT Bézier Curves and NUAHT B-Spline Curves

    • Gang Xu
    • Guo-Zhao Wang

    Regular Paper 13 September 2007 Pages: 597 - 607

15. Linguistic Theory Based Contextual Evidence Mining for Statistical Chinese Co-Reference Resolution

    • Jun Zhao
    • Fei-Fan Liu

    Regular Paper 13 September 2007 Pages: 608 - 617

16. Secure and Incidental Distortion Tolerant Digital Signature for Image Authentication

    • Yong-Dong Zhang
    • Sheng Tang
    • Jin-Tao Li

    Regular Paper 13 September 2007 Pages: 618 - 625

17. Facial Feature Extraction Method Based on Coefficients of Variances

    • Feng-Xi Song
    • David Zhang
    • Jing-Yu Yang

    Short Paper 13 September 2007 Pages: 626 - 632

18. Hierarchical Approximate Matching for Retrieval of Chinese Historical Calligraphy Character

    • Xia-Fen Zhang
    • Yue-Ting Zhuang
    • Fei Wu

    Short Paper 13 September 2007 Pages: 633 - 640