论文列表及评分结果
Special Factors, Periodicity, and an Application to Sturmian Words.
电商所评分：9
Type Introduction for Equational Rewriting.
电商所评分：6
Data structures for order-sensitive predicates in parallel nondeterministic systems.
电商所评分：1
Semantics analysis through elementary meanings.
电商所评分：5
Relaxed balance for search trees with local rebalancing.
电商所评分：3
A polynomial time computable metric between point sets.
电商所评分：7
Running a job on a collection of partly available machines, with on-line restarts.
电商所评分：8
Extending stratified datalog to capture complexity classes ranging from P to QH.
电商所评分：10
A Markov modulated multi-server queue with negative customers - The MM CPP/GE/c/L G-queue.
电商所评分：2
Labelled transition logic: an outline.
电商所评分：2
Recursion and Petri nets.
电商所评分：4
Synchronized extension systems.
电商所评分：2
A sequential real-time refinement calculus.
电商所评分：6
Parallel communicating grammar systems with terminal transmission.
电商所评分：4
'Closed Interval Process Algebra' versus 'Interval Process Algebra'.
电商所评分：2
Periodic-like words, periodicity, and boxes.
电商所评分：10
A construction of distributed reference counting.
电商所评分：10
A theory of bunches.
电商所评分：3
On the tree inclusion problem.
电商所评分：2
Yet another generation of LALR parsers for regular right part grammars.
电商所评分：3
Even faster generalized LR parsing.
电商所评分：7
Efficient recognition algorithms for boundary and linear eNCE graph languages.
电商所评分：4
Category-theoretic fibration as an abstraction mechanism in information systems.
电商所评分：10
Correctness of dataflow and systolic algorithms using algebras of streams.
电商所评分：6
Surface approximation to scanned data.
电商所评分：10
Using vanishing points for camera calibration and coarse 3D reconstruction from a single image.
电商所评分：2
Whole-body modelling of people from multiview images to populate virtual worlds.
电商所评分：10
Fast and intuitive generation of geometric shape transitions.
电商所评分：2
Ray tracing four spheres at the vertices of a regular tetrahedron.
电商所评分：1
Parametric Gn blending of curves and surfaces.
电商所评分：6