Skip to main content

Frontiers of Computer Science

Ausgabe 1/2011

Inhalt (13 Artikel)

Research Article

Property transformation under specification change

Zheng Fu, Graeme Smith

Research Article

Abstraction for model checking multi-agent systems

Conghua Zhou, Bo Sun, Zhifeng Liu

Research Article

Indeterminacy-aware service selection for reliable service composition

Xiaoqin Fan, Xianwen Fang, Zhijun Ding

Research Article

Behavior pattern extraction by trajectory analysis

Jia Wen, Chao Li, Zhang Xiong

Research Article

Soft spectral clustering ensemble applied to image segmentation

Jianhua Jia, Bingxiang Liu, Licheng Jiao

Research Article

Learning random forests for ranking

Liangxiao Jiang

Research Article

Boosting performance in attack intention recognition by integrating multiple techniques

Hao Bai, Kunsheng Wang, Changzhen Hu, Gang Zhang, Xiaochuan Jing

Research Article

A metric normalization of tree edit distance

Yujian Li, Zhang Chenguang

Research Article

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

Jian Wang, Yu-bai Li, Chang Wu

Premium Partner