论文列表及评分结果
Range estimation from focus using a non-frontal imaging camera.
电商所评分：3
FORMS: A flexible object recognition and modelling system.
电商所评分：6
Using collineations to compute motion and structure in an uncalibrated image sequence.
电商所评分：10
Exploiting the generic viewpoint assumption.
电商所评分：2
Editorial.
电商所评分：8
Software quality programmes: a snapshot of theory versus reality.
电商所评分：4
ISO 12207 Software life cycle processes - fit for purpose?
电商所评分：7
Classification techniques for metric-based software development.
电商所评分：3
Specifying software quality with the extended ISO model.
电商所评分：2
Non-functional requirements in the software development process.
电商所评分：9
Establishing a systems integration process intrastructure.
电商所评分：10
Factors affecting the quality of software project management: an empirical study based on the Capability Maturity Model.
电商所评分：4
Fast algorithms for estimating aerosol optical depth and correcting Thematic Mapper imagery.
电商所评分：9
Three-dimensional electromagnetic particle-in-cell with Monte Carlo collision simulations on three MIMD parallel computers.
电商所评分：10
Multiprocessing ocean circulation: Modeling, implementation, and performance on the Intel Paragon.
电商所评分：5
High-performance sorting algorithms for the CRAY T3D parallel computer.
电商所评分：2
Duality in Specification Languages: A Lattice-Theoretical Approach.
电商所评分：7
Minimizing Time-Space Cost for Database Version Control.
电商所评分：8
Proving Relative Lower Bounds for Incremental Algorithms.
电商所评分：8
Proof Rules for the Programming Language Euclid.
电商所评分：4
The Algebraic Specification of Abstract Data Types.
电商所评分：6
Algebraic Program Testing.
电商所评分：9
Bounded Quantification and Relations Recognizable by Finite Automata.
电商所评分：7
The Ultimate Equivalence Problem for DOL Systems.
电商所评分：8
Information Management in Context Trees.
电商所评分：8
Performance Analysis of Multiprocessor Systems Containing Functionally Dedicated Processors.
电商所评分：6
A Conservation Law for G/G/m Queueing Systems.
电商所评分：5
Parsing Regular Grammars with Finite Lookahead.
电商所评分：5
The ( n,k )-Bounded Emptiness-Problem for Probabilistic Acceptors and Related Problems.
电商所评分：10
Sound and Complete Hoare-like Calculi Based on Copy Rules.
电商所评分：4