Mathematics mechanization and applications after thirty years Wu WenjunGao Xiaoshan Review Article Pages: 1 - 8
Recognizing the agent’s goals incrementally: planning graph as a basis Sun JiguiYin Minghao Research Article Pages: 26 - 36
A quick overview of membrane computing with some details about spiking neural P systems Gheorghe Păun Review Article Pages: 37 - 49
Supporting crosscutting concern modelling in software architecture design Cao DonggangMei HongZhou Minghui Research Article Pages: 50 - 57
HTRDP evaluations on Chinese information processing and intelligent human-machine interface Liu QunWang XiangdongQian Yueliang Survey Article Pages: 58 - 93
Compiler-directed power optimization of high-performance interconnection networks for load-balancing MPI applications Yang XuejunYi HuizhanZhou Haifang Research Article Pages: 94 - 105
Extraction of delta-lognormal parameters from handwriting strokes Réjean PlamondonXiaolin LiMoussa Djioua Research Article Pages: 106 - 113
P2P worm detection based on application identification Xia ChunheShi YunpingGao Wei Research Article Pages: 114 - 122