Sentence examples for by using rule from inspiring English sources

Decision-making systems are typically implemented by using rule engines, analytic software tools or third-generation programming languages (3GL).

If (t = (m, gamma, m')) is derivable by the rules of Table 9 by using rule (s-com), then (gamma in mathrm{ns(dom}(m))).

In our case, the property "id" is flattened by using rule "rule-trf-prop-flatten-types", and the "landekode" (country code in English) which is defined as "gmd Country_PropertyType" is flattened by using rule "rule-trf-prop-flatten-codelists" to a string type.

If (t_2) is derived by using rule (s-com), then Proposition 11 would ensure that (overline{gamma } in mathrm{ns(dom}(m_2))), contradicting that (mathrm{dom}(m_1,oplus, m_2)) be well-behaved.

A proof that (Theta vdash { C,mathttBoolmathtt mathttBoolmathtt) holds can be given from the entailment rules given in Fig. 7, since this is the conclusion of rule ((mathtt {MP} )) with premises (Theta vdash { D,Bool, mathttBoolmathtt) and (Theta vdash { D,Bool mathttBoolmathtt Rightarrow C,mathttBoolmathtt,mathttBoolmathtt,) and these two premises can be derived by using rule ((mathtt {INST} )).

If both (t_1) and (t_2) are derived by using rule (s-com), then t synchronizes two sequences, even if indirectly; however, this is not possible, because Proposition 11 would ensure that (gamma in mathrm{ns(dom}(m_1))) and (overline{gamma } in mathrm{ns(dom}(m_2))), contradicting that (mathrm{dom}(m_1,oplus, m_2)) be well-behaved.

It utilizes this hybrid information in order to form appropriate service, by using rule-based reasoning (RBR) and case-based reasoning (CBR).

This paper discusses how procedural parametric models based on two-dimensional sketches can be represented by graphs and how detailing steps in the form of parametric modeling operations can be formalized by using rule-based graph rewriting.

You can move messages automatically by using rules.

To make the rules more concise, and easier to explain, hyper-rectangle rules are simplified further by using rules combinations, dimension reduction and interval extension.

This put them in opposition with scientists who argue that the brain generates some words by using rules shaped in part by brain biology — for example, adding "-ed" to a stem to form a past tense.