1. Robot self-location by line correspondences

   • Hu Zhanvi
   • Lei Cheng
   • Tsui Hung Tat

   Regular Paper Pages: 97 - 113

2. AHBP: An efficient broadcast protocol for mobile Ad hoc networks

   • Peng Wei
   • Lu Xicheng

   Correspondence Pages: 114 - 125

3. Optimal selection of reference set for the nearest neighbor classification by Tabu search

   • Zhang Hongbin
   • Sun Guangyu

   Correspondence Pages: 126 - 136

4. Semantics of constructions (II) — The initial algebraic approach

   • Fu Yuxi

   Correspondence Pages: 137 - 145

5. An intuitive formal proof for Deadline Driven Scheduler

   • Zhan Naijun

   Correspondence Pages: 146 - 158

6. Pattern matching compilation of functions defined in context-free languages

   • Chen Haiming
   • Dong Yunmei

   Correspondence Pages: 159 - 167

7. Evolving information filtering for personalized information service

   • Tian Fanjiang
   • Li Congrong
   • Wang Dingxing

   Correspondence Pages: 168 - 175

8. Two online algorithms for the ambulance systems

   • Sui Yuefei

   Correspondence Pages: 176 - 181

9. Efficient mining of association rules by reducing the number of passes over the database

   • Li Qingzhong
   • Wang Haiyang
   • Ma Shaohan

   Correspondence Pages: 182 - 188

10. Leaf movement simulation

    • Feng Jinhui
    • Chen Yanyun
    • Wu Enhua

    Note Pages: 189 - 192