论文列表及评分结果
A Distributed Operational Semantics for CCS Based on Condition/Event Systems.
电商所评分：1
Motion Planning Among Time Dependent Obstacles.
电商所评分：6
Applications of the Theory of Records in the Study of Random Trees.
电商所评分：4
High Level Tree Transducers and Iterated Pushdown Tree Transducers.
电商所评分：5
On local stratifiability of logic programs and databases.
电商所评分：3
A fixpoint semantics for stratified databases.
电商所评分：7
Inductive learning.
电商所评分：4
Validating inductive hypotheses by mode inference.
电商所评分：2
Design rationale for a wide spectrum specification language FGSPEC.
电商所评分：5
Two new strategies for developing loop invariants and their applications.
电商所评分：1
A standard model-theoretic approach to operational semantics of recursive programs.
电商所评分：8
Nonterminating rewritings with head boundedness.
电商所评分：6
OOMMS: A module management system based on an object-oriented model.
电商所评分：8
Deductive fault simulation algorithm based on fault collapsing.
电商所评分：9
A knowledge-based specification technique for protocol development.
电商所评分：3
On the problem of optimizing parallel programs for complex memory hierarchies.
电商所评分：5
On GID-testable two-dimensional iterative arrays.
电商所评分：6
Real-time collision-free path planning for robots in configuration space.
电商所评分：3
Automated theorem proving in temporal logic: T-resolution.
电商所评分：7
An improved bottom-up method for implementing equational programming language.
电商所评分：6
Extrapolating acceleration algorithms for finding B-Spline intersections using recursive subdivision techniques.
电商所评分：8
An O(k 2n2) algorithm to find a k -partition in a k -connected graph.
电商所评分：1
A method for minimization design of two-level logic networks using multiplexer universal logic modules.
电商所评分：2
DGLa: A distributed graphics language.
电商所评分：7
A unified algorithm for finding the intersection curve of surfaces.
电商所评分：10
Constructing isosurfaces from 3D data sets taking account of depth sorting of polyhedra.
电商所评分：6
Using timed Petri net to model instruction-level loop scheduling with resource constraints.
电商所评分：9
Granularity analysis for exploiting adaptive parallelism of declarative programs on multiprocessors.
电商所评分：6
Madet - A machine-description table based instruction scheduler in TH-RISC for exploiting instruction level parallelism.
电商所评分：2
Generalized resolution and NC-resolution.
电商所评分：4