Sentence examples for refinement rule from inspiring English sources

h6 is a child of h1 and therefore represents a refinement rule (more specific hypothesis).

A refinement rule for action systems with fair choice is derived and applied to the development of the alternating bit protocol.

The transition between scales is performed through applying refinement rules.

On this basis we start defining formal refinement rules for such systems.

Correctness preserving transformations between models are formalized and proved as refinement rules in rCOS.

We further develop local adaptive refinement rules that can achieve level-of-detail control for hierarchical modeling.

We present primal schemes, with refinement rules based on locally fitting linear polynomials to the data, and study their convergence, smoothness, and basic limit functions.

In each subregion, a group of threads is assigned to insert or delete multiple points based on the refinement rules offered by PODM.

Rather than tuning the eigenstructure of the subdivision matrix, we improve shape by adding a point and enriching the refinement rules.

The refinement rules considered in the paper are widely used in practice and are associated with the well known two-scale refinement equation including as particular examples the schemes based on Daubechies' filters.

As these refinement rules are formally correct they enable a formal method for the high-quality design of data warehouses and OLAP systems that can be applied without knowing mathematical details of the ASM formalism.