We use cookies to improve your experience with our site.
Advanced Search

Approximation for- Knapsack Problemswith Multiple Constraints
ZHANG Li'ang, ZHANG Yin
1999, 14(4): 289-297.
Abstract
On the Arc Consistency Problem
CHEN Yangjun
1999, 14(4): 298-308.
Abstract
On k-Positive Satisfiability Problem
HUANG Xiong, LI wei
1999, 14(4): 309-313.
Abstract
An Incremental Approach toAutomatic Algorithm Design
LUAN Shangmin, LI wei
1999, 14(4): 314-319.
Abstract
Relative Properties of Frame Language
FU maxi
1999, 14(4): 320-327.
Abstract
Topology in Process Calculus (Ⅰ):Limit Behaviour of Agents
YING Mingsheng
1999, 14(4): 328-336.
Abstract
The Sequence Modeling Method Based on ECCin Developing Program Specifications
CAI Jiamei
1999, 14(4): 337-348.
Abstract
View Creation for Queriesin Object Oriented Databases
Rajesh Narang, K.D. Sharma
1999, 14(4): 349-362.
Abstract
A Theory of Hybrid Diagnosis
SHEN Yidong
1999, 14(4): 363-371.
Abstract
An Approach to Active Learning for Classifier Systems
XI Haifeng, LUO Yupin, YANG Shiyuan
1999, 14(4): 372-378.
Abstract
Fault Tolerance of Reconfigurable Bi-Directional Double-Loop LANs
WEI Hua, LUO Yupin, YANG Shiyuan
1999, 14(4): 379-385.
Abstract
Isomorphic Transformations of Uncertaintiesfor Incorporating EMYCIN-Style and PROSPECTOR-Style Systems intoa Distributed Expert System
ZHANG Cnengqi, LUO Xudong
1999, 14(4): 386-392.
Abstract
RAO Logic for Multiagent Framework
SHI Zhongzhi, TIAN Qijia, LI Yunfeng
1999, 14(4): 393-400.
Abstract
Automated Analysis of the SCR-StyleRequirements Specifications
WU Guoqing, LIU Xiang, YING Shi, Tetsuo Tamai
1999, 14(4): 401-407.
Abstract
Dynamic Checking Frameworkfor Java Beaus Semantic Constraints
NI Bin, FENG Yulin
1999, 14(4): 408-413.
Abstract
Function Definition Language FDL andIts Implementation
CHEN Haiming
1999, 14(4): 414-421.
Abstract
Reasoning about Concurrent Actionsin Multi-Agent Systems
FAN Xiaocong, XU Dianxiang, HOU Jianmin, ZHENG Guoliang
1999, 14(4): 422-428.
Abstract
Genetic Programming with Simple Loops
QI Yuesheng, WANG Baozhong, KANG Lishan
1999, 14(4): 429-433.
Abstract