论文列表及评分结果
A new method for reasoning about action.
电商所评分：7
Generating conformance tests for nondeterministic protocol machines.
电商所评分：2
Compiling CIL rewriting language for multiprocessors.
电商所评分：8
Research on decompiling technology.
电商所评分：3
The learning convergence of CMAC in cyclic learning.
电商所评分：2
Building case-based preliminary design systems: A Hopfield network approach.
电商所评分：2
GUIDS: A graphical user interface development system in UniECAD.
电商所评分：10
An automatic hierarchical delay analysis tool.
电商所评分：5
Adaptive memory coherence algorithms in DSVM.
电商所评分：3
Full or-parallemism and restricted And-parallelism in BTM.
电商所评分：2
Reduct and Attribute Order.
电商所评分：10
Time Complexity Analysis of an Evolutionary Algorithm for Finding Nearly Maximum Cardinality Matching.
电商所评分：4
Model Checking Real-Time Value-Passing Systems.
电商所评分：8
Binary-Coding-Based Ant Colony Optimization and Its Convergence.
电商所评分：8
Chinese Question-Answering System.
电商所评分：6
Learning-Based Tracking of Complex Non-Rigid Motion.
电商所评分：4
New Algorithm for 3D Facial Model Reconstruction and Its Application in Virtual Reality.
电商所评分：1
Efficient Fingerprint Matching Algorithm for Integrated Circuit Cards.
电商所评分：5
Robust Mesh Smoothing.
电商所评分：9
Realistic Modeling and Animation of Human Body Based on Scanned Data.
电商所评分：3
Printed Arabic Character Recognition Using HMM.
电商所评分：4
New Multipole Method for 3-D Capacitance Extraction.
电商所评分：2
Oblivious Polynomial Evaluation.
电商所评分：9
New Semantic Model for Authentication Protocols in ASMs.
电商所评分：7
Practical Secret Sharing Scheme Realizing Generalized Adversary Structure.
电商所评分：9
Digital Multi-Signature Scheme Based on the Elliptic Curve Cryptosystem.
电商所评分：3
Foreword - Special Issue on Bioinformatics.
电商所评分：6
An Algorithm for Finding Conserved Secondary Structure Motifs in Unaligned RNA Sequences.
电商所评分：10
Outleir Analysis for Gene Expression Data.
电商所评分：2
Verbumculus and the Discovery of Unusual Words.
电商所评分：8