论文列表及评分结果
Optimal Bandwidth Utilization of All-Optical Ring with a Converter of Degree 4.
电商所评分：3
An Effective Feedback Control Mechanism for DiffServ Architecture.
电商所评分：4
A Component-Based Software Configuration Management Model and Its Supporting System.
电商所评分：10
Run-Time Data-Flow Analysis.
电商所评分：6
An Attack-Finding Algorithm for Security Protocols.
电商所评分：8
An Interlingua-Based Chinese-English MT System.
电商所评分：4
Four-Point Wavelets and Their Applications.
电商所评分：6
A New Algebraic Modelling Approach to Distributed Problem-Solving in MAS.
电商所评分：7
Word Spotting Based on a posterior Measure of Keyword Confidence.
电商所评分：6
Blending Parametric Patches with Subdivision Surfaces.
电商所评分：1
The Contiguity in R/M.
电商所评分：4
A Hybrid Model for Smoke Simulation.
电商所评分：8
The Existence Condition of r-Acyclic Database Schemes with MVDs Constraints.
电商所评分：5
A logical framework for knowledge base maintenance.
电商所评分：2
Automatic construction of finite algebras.
电商所评分：5
Denotational semantics of a simple model of Eiffel.
电商所评分：6
A formal semantics for DAI language NUML.
电商所评分：8
S- and T-invariants in cyber net systems.
电商所评分：9
Nonuniform lowness and strong nonuniform lowness.
电商所评分：9
Putting consistent theories together in institutions.
电商所评分：10
Institutions of variable truth values: An approach in the ordered style.
电商所评分：2
A three-stage knowledge acquisition method.
电商所评分：10
Head boundedness of nonterminating rewritings.
电商所评分：2
An algebraic characterization of inductive soundness in proof by consistency.
电商所评分：8
Using virtual ATE model to migrate test programs.
电商所评分：7
Efficient realization of frequently used bijections on cube-connected cycles.
电商所评分：9
Simulation of ATPG neural network and its experimental results.
电商所评分：3
Expansion nets and expansion processes of elementary net systems.
电商所评分：9
Intention maintenance as conflict resolution upon a means-network.
电商所评分：6
Experimental studies of artificial conscious systems.
电商所评分：1