论文列表及评分结果
Using Geometry To Solve the Transportation Problem in the Plane.
电商所评分：9
Asymptotic Speed-Ups in Constructive Solid Geometry.
电商所评分：8
Landmark-Based Robot Navigation.
电商所评分：9
A Linear Algorithm for the All-Bidirectional-Edges Problem on Planar Graphs.
电商所评分：1
Efficient Parallel Recognition of Some Circular Arc Graphs, I.
电商所评分：8
Clocked Adversaries for Hashing.
电商所评分：7
Packings in Two Dimensions: Asymptotic Average-Case Analysis of Algorithms.
电商所评分：1
Seven Fingers Allow Force-Torque Closure Grasps on Any Convex Polyhedron.
电商所评分：5
Single-Layer Cylindrical Compaction.
电商所评分：10
Testing reducibility of linear differential operators: A group theoretic perspective.
电商所评分：5
Semi-Invariants, equivariants and algorithms.
电商所评分：3
Check character systems over groups and orthogonal Latin squares.
电商所评分：2
Total termination of term rewriting.
电商所评分：9
Models for Reactivity.
电商所评分：7
Querying Datalog Programs with Temporal Logic.
电商所评分：8
Normal Form Approach to Compiler Design.
电商所评分：10
Extended Nested Relations.
电商所评分：5
A Characterisation of Meet and Join Respecting Pre-Orders and Congruences on Finite Lattices.
电商所评分：5
Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited.
电商所评分：8
An Efficiency Preorder for Processes.
电商所评分：7
Languages Accepted by Systolic Y-Tree Automata: Structural Characterizations.
电商所评分：8
A Class of Coders Based on GSM.
电商所评分：9
The Complexity of Oblivious Plans for Orienting and Distinguishing Polygonal Parts.
电商所评分：2
An Optimal Parallel Algorithm for Planar Cycle Separators.
电商所评分：1
Minimean Optimal Key Arrangements in Hash Tables.
电商所评分：9
An Optimal Algorithm for Shortest Paths on Weighted Interval and Circular-Arc Graphs, with Applications.
电商所评分：2
The Lattice of Data Refinement.
电商所评分：10
Geometrical Tools to Map Systems of Affine Recurrence Equations on Regular Arrays.
电商所评分：5
Context-free Text Grammars.
电商所评分：4
Wireless ATM - An Overview.
电商所评分：7