1. Property transformation under specification change

   • Zheng Fu
   • Graeme Smith

   Research Article 11 December 2010 Pages: 1 - 13

2. Abstraction for model checking multi-agent systems

   • Conghua Zhou
   • Bo Sun
   • Zhifeng Liu

   Research Article 01 December 2010 Pages: 14 - 25

3. Indeterminacy-aware service selection for reliable service composition

   • Xiaoqin Fan
   • Xianwen Fang
   • Zhijun Ding

   Research Article 17 May 2010 Pages: 26 - 36

4. Behavior pattern extraction by trajectory analysis

   • Jia Wen
   • Chao Li
   • Zhang Xiong

   Research Article 12 May 2010 Pages: 37 - 44

5. Fuzzy c-means clustering with non local spatial information for noisy image segmentation

   • Feng Zhao
   • Licheng Jiao
   • Hanqiang Liu

   Research Article 01 December 2010 Pages: 45 - 56

6. A fast algorithm for computing moments of gray images based on NAM and extended shading approach

   • Yunping Zheng
   • Mudar Sarem

   Research Article 11 December 2010 Pages: 57 - 65

7. Soft spectral clustering ensemble applied to image segmentation

   • Jianhua Jia
   • Bingxiang Liu
   • Licheng Jiao

   Research Article 28 October 2010 Pages: 66 - 78

8. Learning random forests for ranking

   • Liangxiao Jiang

   Research Article 04 December 2010 Pages: 79 - 86

9. Identifying different community members in complex networks based on topology potential

   • Yanni Han
   • Deyi Li
   • Teng Wang

   Research Article 09 June 2010 Pages: 87 - 99

10. Distance metric learning guided adaptive subspace semi-supervised clustering

    • Xuesong Yin
    • Enliang Hu

    Research Article 12 August 2010 Pages: 100 - 108

11. Boosting performance in attack intention recognition by integrating multiple techniques

    • Hao Bai
    • Kunsheng Wang
    • Xiaochuan Jing

    Research Article 28 October 2010 Pages: 109 - 118

12. A metric normalization of tree edit distance

    • Yujian Li
    • Zhang Chenguang

    Research Article 22 January 2011 Pages: 119 - 125

13. An analytical model for Network-on-Chip with finite input buffer

    • Jian Wang
    • Yu-bai Li
    • Chang Wu

    Research Article 20 August 2010 Pages: 126 - 134