Graph reduction algorithm is a practicable one.
图规约算法就是一种实际可行的算法。
This paper presents a design of an intelligent memory system (IMS) for our Parallel Graph Reduction (PGR) machine.
本文介绍了并行图归约（PGR）机中智能存储系统的设计方案。
A graph reduction method with 5 rules for the structural correctness verification of DCG based workflow models is presented in this paper.
详细论述了对基于有向有环图（DCG图）的工作流模型结构正确性进行验证的图归约法及其五种归约规则。
In addition, we propose a new verification method combining graph reduction and graph spread, also the algorithm of verifying process models.
另外了提出了一种新型的图形归约和图形展开相结合的验证方法及过程模型验证算法。
The verification of the model of TCPN workflow nets by means of graph reduction was mainly considered, and some graph reduction rules of flow control structure were put forward and proved.
文中重点研究了采用图规约法对TCPN工作流网模型的验证，提出了流控制结构的图规约规则，并对这些规则进行了证明。
The reduction is carried out by using geometric constraint graph based on the point clusters. Then the sequence of reduction is computed and the geometric model is rebuilded.
该算法基于点簇对约束网络图进行归约，求得归约序列然后重构几何模型，具有求解速度快、可靠性高、应用范围广等优点。
A complete recursive algorithm for minimal reduction under graph view is designed.
本文提出图表示下的知识约简，给出图表示下求最小约简的完备递归算法。
An uncorrelated kernel extension of graph embedding which provides a unified method for computing all kinds of uncorrelated kernel dimensionality reduction algorithms is proposed.
提出统计不相关的核化图嵌入算法，为求解各种统计不相关的核化降维算法提供了一种统一方法。
An uncorrelated kernel extension of graph embedding which provides a unified method for computing all kinds of uncorrelated kernel dimensionality reduction algorithms is proposed.
提出统计不相关的核化图嵌入算法，为求解各种统计不相关的核化降维算法提供了一种统一方法。
应用推荐