Property transformation under specification change Zheng FuGraeme Smith Research Article 11 December 2010 Pages: 1 - 13
Abstraction for model checking multi-agent systems Conghua ZhouBo SunZhifeng Liu Research Article 01 December 2010 Pages: 14 - 25
Indeterminacy-aware service selection for reliable service composition Xiaoqin FanXianwen FangZhijun Ding Research Article 17 May 2010 Pages: 26 - 36
Behavior pattern extraction by trajectory analysis Jia WenChao LiZhang Xiong Research Article 12 May 2010 Pages: 37 - 44
Fuzzy c-means clustering with non local spatial information for noisy image segmentation Feng ZhaoLicheng JiaoHanqiang Liu Research Article 01 December 2010 Pages: 45 - 56
A fast algorithm for computing moments of gray images based on NAM and extended shading approach Yunping ZhengMudar Sarem Research Article 11 December 2010 Pages: 57 - 65
Soft spectral clustering ensemble applied to image segmentation Jianhua JiaBingxiang LiuLicheng Jiao Research Article 28 October 2010 Pages: 66 - 78
Identifying different community members in complex networks based on topology potential Yanni HanDeyi LiTeng Wang Research Article 09 June 2010 Pages: 87 - 99
Distance metric learning guided adaptive subspace semi-supervised clustering Xuesong YinEnliang Hu Research Article 12 August 2010 Pages: 100 - 108
Boosting performance in attack intention recognition by integrating multiple techniques Hao BaiKunsheng WangXiaochuan Jing Research Article 28 October 2010 Pages: 109 - 118
A metric normalization of tree edit distance Yujian LiZhang Chenguang Research Article 22 January 2011 Pages: 119 - 125
An analytical model for Network-on-Chip with finite input buffer Jian WangYu-bai LiChang Wu Research Article 20 August 2010 Pages: 126 - 134