论文列表及评分结果
Conditionals, uncertain rules and belief revision.
电商所评分：6
A survey of techniques for inference under uncertainty.
电商所评分：2
Book reviews.
电商所评分：2
Granularity issues for solving polynomial systems via globally convergent algorithms on a hypercube.
电商所评分：5
Coset networks as connectors in parallel processors.
电商所评分：7
Hypercube-to-host sorting.
电商所评分：8
Surface shape from the deformation of apparent contours.
电商所评分：9
An optimization-based approach to the interpretation of single line drawings as 3D wire frames.
电商所评分：2
Shape and motion from image streams under orthography: a factorization method.
电商所评分：10
Ultrahigh-performance FFTs for the CRAY-2 and CRAY Y-MP supercomputers.
电商所评分：6
A MIMD implementation of a parallel Euler solver for unstructured grids.
电商所评分：10
Parallel simulation of electron-solid interactions for electron microscopy modeling.
电商所评分：1
Parallel superconductor code on the iPSC/860.
电商所评分：3
A parallel Monte Carlo search algorithm for the conformational analysis of polypeptides.
电商所评分：2
An algebraic model for divide-and-conquer and its parallelism.
电商所评分：10
Fine-grain compilation for pipelined machines.
电商所评分：6
Toward auto-scheduling compilers.
电商所评分：8
Programming language constructs for highly parallel operations on lists.
电商所评分：10
A programming aid for hypercube architectures.
电商所评分：7
Data dependence and program restructuring.
电商所评分：2
Using local memory to boost the performance of FFT algorithms on the CRAY-2 supercomputer.
电商所评分：1
Using Strassen's algorithm to accelerate the solution of linear systems.
电商所评分：6
Automatic generation of nested, fork-join parallelism.
电商所评分：9
A multiprecise integer arithmetic package.
电商所评分：7
Multitasking a Navier-Stokes algorithm on the CRAY-2.
电商所评分：7
Approximate polynomial preconditionings applied to biharmonic equations.
电商所评分：1
Editorial.
电商所评分：7
Turing's Test and the ideology of artificial intelligence.
电商所评分：1
Connectionist AI, symbolic AI, and the brain.
电商所评分：1
Does AI have a methodology which is different from software engineering?
电商所评分：3