Approximation for knapsack problems with multiple constraints Zhang Li’angZhang Yin Regular Papers Pages: 289 - 297
An incremental approach to automatic algorithm design Luan ShangminLi Wei Correspondence Pages: 314 - 319
Topology in process calculus (I): Limit behaviour of agents Ying Mingsheng Correspondence Pages: 328 - 336
The sequence modeling method based on ECC in developing program specifications Cai Jiamei Correspondence Pages: 337 - 348
View creation for queries in object oriented databases Rajesh NarangK. D. Sharma Correspondence Pages: 349 - 362
An approach to active learning for classifier systems Xi HaifengLuo YupinYang Shiyuan Correspondence Pages: 372 - 378
Fault tolerance of reconfigurable bi-directional double-loop LANs Wei HuaLuo YupinYang Shiyuan Correspondence Pages: 379 - 385
Isomorphic transformations of uncertainties for incorporating EMYCIN-style and PROSPECTOR-style systems into a distributed expert system Zhang ChengqiLuo Xudong Correspondence Pages: 386 - 392
Automated analysis of the SCR-style requirements specifications Wu GuoqingLiu XiangTetsuo Tamai Correspondence Pages: 401 - 407
Dynamic checking framework for Java Beans semantic constraints Ni BinFeng Yulin Notes Pages: 408 - 413
Reasoning about concurrent actions in multi-agent systems Fan XiaocongXu DianxiangZheng Guoliang Notes Pages: 422 - 428
