论文列表及评分结果
An improvement of GNY logic for the reflection attacks.
电商所评分：5
Computing Bisimulations for Finite-Control pi-Calculus.
电商所评分：3
Constructing Finite Automata with Invertibility by Transformation Method.
电商所评分：1
Multi-Volume CAD Modeling for Heterogeneous Object Design and Fabrication.
电商所评分：4
Volumetric Virtual Environments.
电商所评分：7
An Accelerated Incremental Radiosity Algorithm.
电商所评分：2
Constraint-Based Virtual Solid Modeling.
电商所评分：10
Extraction of Spatial-Temporal Features for Vision-Based Gesture Recognition.
电商所评分：1
Using Confidence Interval to Summarize the Evaluating Results of DSM Systems.
电商所评分：5
Timing-Sequence Testing of Parallel Programs.
电商所评分：2
A Practical Algorithm for the Minimum Rectilinear Steiner Tree.
电商所评分：3
Direct 3D Painting with a Metaball-Based Paintbrush.
电商所评分：9
On optimizing the satisfiability (SAT) problem.
电商所评分：7
HarkMan - A vocabulary-independent keyword spotter for spontaneous Chinese speech.
电商所评分：5
Chinese TrueType font support in X window.
电商所评分：5
The "bottleneck" behaviours in linear feedforward neural network classifiers and their breakthrough.
电商所评分：7
An inherent probabilistic aspect of the Hough transform.
电商所评分：2
Exploiting the capabilities of the interconnection network on Dawning-1000.
电商所评分：8
Computing the SKT reliability of acyclic directed networks using factoring method.
电商所评分：3
Multicast address management and connection control based on hierarchical autonomous structure.
电商所评分：10
Geometric primitive extraction by the combination of tabu search and subpixel accuracy.
电商所评分：1
A formal approach to protocol performance testing.
电商所评分：4
A Graphical mu-Calculus and Local Model Checking.
电商所评分：8
Aqueous Computing: A Survey with an Invitation to Participate.
电商所评分：5
Structure of Weakly Invertible Semi-Input-Memory Finite Automata with Delay 2.
电商所评分：2
Checking Temporal Duration Properties of Timed Automata.
电商所评分：3
An Optimum Placement Search Algorithm Based on Extended Corner Block List.
电商所评分：8
Automatic Generation of Interprocedural Data-Flow Analyzers and Optimizers.
电商所评分：3
Lower Bound Estimation of Hardware Resources for Scheduling in High-Level Synthesis.
电商所评分：1
BIST Design for Detecting Multiple Stuck-Open Faults in CMOS Circuits Using Transition Count.
电商所评分：4