论文列表及评分结果
View creation for queries in object oriented databases.
电商所评分：3
A theory of hybrid diagnosis.
电商所评分：3
An approach to active learning for classifier systems.
电商所评分：7
Fault tolerance of reconfigurable bi-directional double-loop LANs.
电商所评分：3
Isomorphic transformations of uncertainties for incorporating EMYCIN-style and PROSPECTOR-style systems into a distributed expert system.
电商所评分：4
RAO logic for multiagent framework.
电商所评分：2
Automated analysis of the SCR-style requirements specifications.
电商所评分：9
Dynamic checking framework for Java Beans semantic constraints.
电商所评分：6
Function Definition Language FDL and its implementation.
电商所评分：5
Reasoning about concurrent actions in multi-agent systems.
电商所评分：5
Genetic Programming with simple loops.
电商所评分：1
Preface.
电商所评分：8
Recent advances in automated theorem proving on inequalities.
电商所评分：8
Orthogonal drawings of graphs for the automation of VLSI circuit design.
电商所评分：4
Automated generation of Kempe linkage and its complexity.
电商所评分：4
Solving SAT by algorithm transform of Wu's method.
电商所评分：10
Fast theorem-proving and Wu's Method.
电商所评分：7
Object-oriented analysis of ELIMINO.
电商所评分：6
The intelligent CAI system for chemistry based on automated reasoning.
电商所评分：9
The multiplicity of zeros of algebraic system in eigenvalue method.
电商所评分：4
Hyperfinite interpolation, Wu's Method and blending of implicit algebraic surfaces.
电商所评分：4
A Formal Framework of Multi-Agent Systems with Requirement/Service Cooperative Style.
电商所评分：8
Efficient Minimum Spanning Tree Algorithms on the Reconfigurable Mesh.
电商所评分：8
The Faster Higher-Order Cellular Automaton for Hyper-Parallel Undistorted Data Compression.
电商所评分：6
An Architectural Model for Intelligent Network Management.
电商所评分：6
Fuzzy Neural Network Based Traffic Prediction and Congestion Control in High-Speed Networks.
电商所评分：9
Information Service Model with Mobile Agent Supported.
电商所评分：9
Multicast Protocol for Uni-Directional Networks.
电商所评分：5
SFT: A Consistent Checkpointing Algorithm with Short Freezing Time.
电商所评分：10
A Semantics-Based Approach for Achieving Self Fault-Tolerance of Protocols.
电商所评分：5