Sentence examples for which were formalized from inspiring English sources

In this paper, critical form features and KANSEI adjectives were defined as condition attributes and decision attributes respectively, which were formalized as two objects in Decision Table (DT).

Then, it used the experts feature word groups, which were formalized by INSPEC control words, to construct a Domain Knowledge Organization System DKOSS).

A truce subsequently was declared, which was formalized in the Gandhi-Irwin Pact that was signed on March 5.

In response to the OPEC announcement, which was formalized in Vienna yesterday, traders and analysts said there would be only about 100,000 to 150,000 new barrels of oil produced because OPEC members were already "cheating" by pumping more than their current quotas.

which is formalized below with a theorem.

Here we argue that the mode of autoepistemic reasoning, which is formalized by autoepistemic logic, is not necessarily associated with a standard model.

We do so by proposing a Petri net modeling extension which is formalized by means of a mapping to colored Petri nets (CPNs).

Our federated database system is queried using semantic building floorplan fingerprints, which are formalized as graphs and encoded in a common schema, like our AGraphML, to represent spatial configurations and perform graph matching.

Nevertheless, these solutions and others replicated networked data stores have an important restriction, which was formalized by the CAP theorem [21]: only two of three CAP properties (consistency, availability, and partition tolerance) can be satisfied by networked shared-data systems at the same time [21, 22].

But separation -- which was formalized and deepened by the Oslo Accords -- has only made things worse.

Every basic reasoning rule is given in advance which is formalized as a rule triple such as (Herb, treatment, Disease).