论文列表及评分结果

Preparing mathematical equations in a document preparation environment.

电商所评分:3

点击查看评分详情!

Prefix code translation by mapping.

电商所评分:2

点击查看评分详情!

GLOBAL: A design for random testability algorithm.

电商所评分:1

点击查看评分详情!

The catalog management strategy of distributed data base systems.

电商所评分:7

点击查看评分详情!

A distributed algorithm for determining minimal covers of acyclic database schemes.

电商所评分:2

点击查看评分详情!

Story Parsing Grammar.

电商所评分:7

点击查看评分详情!

Bottom-up evaluation of datalog with negation.

电商所评分:9

点击查看评分详情!

On the relationship between TMS and logic programs.

电商所评分:4

点击查看评分详情!

Sequential back-propagation.

电商所评分:1

点击查看评分详情!

The least basic operations on heap and improved heapsort.

电商所评分:2

点击查看评分详情!

Some results on default logic.

电商所评分:9

点击查看评分详情!

An object-oriented model of user interface generation tool.

电商所评分:8

点击查看评分详情!

TSP: A heterogeneous multiprocessor supercomputing system based on i860XP.

电商所评分:3

点击查看评分详情!

From the Editor-in-Chief.

电商所评分:8

点击查看评分详情!

A line extraction algorithm for hand drawings.

电商所评分:2

点击查看评分详情!

CX11: A Chinese language supporting interface for X window environment.

电商所评分:6

点击查看评分详情!

A form-correcting system of Chinese characters using a model of correcting procedures of calligraphists.

电商所评分:1

点击查看评分详情!

A form evaluation system and its data structure for brush-written Chinese characters.

电商所评分:9

点击查看评分详情!

The automatic generation of Chinese outline font based on stroke extraction.

电商所评分:9

点击查看评分详情!

Weak precedence story parsing grammar.

电商所评分:8

点击查看评分详情!

Towards restructuring and normalization of types in databases.

电商所评分:2

点击查看评分详情!

The structure and semantics of an object-oriented logic programming language: SCKE.

电商所评分:7

点击查看评分详情!

A constructor-based EI-model semantics of EI-CTRS.

电商所评分:8

点击查看评分详情!

A comparative study of default reasoning and epistemic processes.

电商所评分:10

点击查看评分详情!

Bounded recursively enumerable sets and degrees.

电商所评分:4

点击查看评分详情!

Optimizing FORTRAN programs for hierarchical memory parallel processing systems.

电商所评分:9

点击查看评分详情!

A methodology for mapping and partitioning arbitrary n -dimensional nested loops into 2-dimensional VLSI arrays.

电商所评分:2

点击查看评分详情!

Optimized parallel execution of declarative programs on distributed memory multiprocessors.

电商所评分:3

点击查看评分详情!

An implementation of pure Horn clause logic programming in a reduction system.

电商所评分:1

点击查看评分详情!

On memory capacity of the Probabilistic Logic Neuron network.

电商所评分:3

点击查看评分详情!