1. The least fixpoint transformation for disjunctive logic programs

   • Wang Kewen
   • Chen Huowang
   • Wu Quanyuan

   OriginalPaper Pages: 193 - 201

2. Symmetric π-calculus

   • Fu Yuxi

   OriginalPaper Pages: 202 - 208

3. Intuitive minimal abduction in sequent calculi

   • Yi Bo
   • Tao Xianping
   • A. Colagrossi

   OriginalPaper Pages: 209 - 219

4. A surface rendering approach in 3D rectilinear datafield

   • Li Bin
   • Liang Xundong
   • Liu Shenquan

   OriginalPaper Pages: 220 - 227

5. A knowledge representation model for video-based animation

   • Lao Zhiqiang
   • Pan Yunhe

   OriginalPaper Pages: 228 - 237

6. C ²-(C ³-) continuous interpolation spline curve and surface

   • Fang Kui
   • Tan Jianrong
   • Zhu Guoqing

   OriginalPaper Pages: 238 - 245

7. Deformable registration of digital images

   • Guan Weiguang
   • Xie Lin
   • Ma Songde

   OriginalPaper Pages: 246 - 260

8. A traffic partition algorithm for switched LANs and its performance analysis

   • Ding Wei
   • Gong Jian
   • Yu Xiao

   OriginalPaper Pages: 261 - 267

9. An efficient multiple predicate learner

   • Zhang Xiaolong
   • Masayuki Numao

   OriginalPaper Pages: 268 - 278

10. Extract rules by using rough set and knowledge-based NN

    • Wang Shitong
    • E. Scott
    • A. Gamermann

    OriginalPaper Pages: 279 - 284

11. Acoustic simulation with dynamic mechanisms in virtual reality

    • Zhang Qiong
    • Shi Jiaoying

    OriginalPaper Pages: 285 - 288