289 | -- | 297 | Liang Zhang, Yin Zhang. Approximation for knapsack problems with multiple constraints |
298 | -- | 308 | Yangjun Chen. On the arc consistency problem |
309 | -- | 313 | Xiong Huang, Wei Li. k -positive satisfiability problem |
314 | -- | 319 | Shangmin Luan, Wei Li. An incremental approach to automatic algorithm design |
320 | -- | 327 | Yuxi Fu. Relative properties of frame language |
328 | -- | 336 | Mingsheng Ying. Topology in process calculus (I): Limit behaviour of agents |
337 | -- | 348 | Jiamei Cai. The sequence modeling method based on ECC in developing program specifications |
349 | -- | 362 | Rajesh Narang, K. D. Sharma. View creation for queries in object oriented databases |
363 | -- | 371 | Yidong Shen. A theory of hybrid diagnosis |
372 | -- | 378 | Haifeng Xi, Yupin Luo, Shiyuan Yang. An approach to active learning for classifier systems |
379 | -- | 385 | Hua Wei, Yupin Luo, Shiyuan Yang. Fault tolerance of reconfigurable bi-directional double-loop LANs |
386 | -- | 392 | Chengqi Zhang, Xudong Luo. Isomorphic transformations of uncertainties for incorporating EMYCIN-style and PROSPECTOR-style systems into a distributed expert system |
393 | -- | 400 | Zhongzhi Shi, Qijia Tian, Yunfeng Li. RAO logic for multiagent framework |
401 | -- | 407 | Guoqing Wu, Xiang Liu, Shi Ying, Tamai Tetsuo. Automated analysis of the SCR-style requirements specifications |
408 | -- | 413 | Bin Ni, Yulin Feng. Dynamic checking framework for Java Beans semantic constraints |
414 | -- | 421 | Haiming Chen. Function Definition Language FDL and its implementation |
422 | -- | 428 | Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng. Reasoning about concurrent actions in multi-agent systems |
429 | -- | 433 | Yuesheng Qi, Baozhong Wang, Lishan Kang. Genetic Programming with simple loops |