Sentence examples for a logical representation from inspiring English sources

As such, given a proof of correctness for a logical representation, it is difficult to conclude that the "actual" protocol is correct.

To facilitate end-to-end interoperability, the WiMAX forum has specified the WiMAX NRM [3], that is, a logical representation of the network architecture.

The resulting nonmonotonic formalisms will be shown to provide a logical representation of abductive reasoning, and a complete characterization of causal nonmonotonic reasoning from McCain and Turner [Proc. AAAI-97, Providence, RI, 1997, pp. 460 465].

The experiment is embodied in a system, Ultrawrap, that encodes a logical representation of the database as an RDF graph using SQL views and a simple syntactic translation of SPARQL queries to SQL queries on those views.

A logical representation of the overall considered architecture is shown in Figure 1(a), whereas Figure 1(b) shows a more detailed view of a scenario with a single cluster and the AP.

It is argued that the ICL provides a natural and concise representation for multi-agent decision-making under uncertainty that allows for the representation of structured probability tables, the dynamic construction of networks (through the use of logical variables) and a way to handle uncertainty and decisions in a logical representation.

Otherwise, all logical representations with a minimal number of terms that give the required values for the control function were computed using the Quine-McCluskey Algorithm [ 23].

It uses a representational language, Intensional Logic, but Montague (1970) showed that this use of a higher-order logical representation language was just a convenience, and completely dispensible.

It is a physical, mathematical or logical representation of a system, phenomenon or process and serves as a representation of an event/thing that is real or deliberately created.

Mindmaps are powerful and flexible techniques to visualise people's perceptions of problems, and are especially useful in dealing with lay stakeholders – though the resulting maps may need to be recast to translate them into an organised and logical representation of the system [ 65].

Mapping this filter realization on a highly parallel architecture entailed a shift in the logical representation of the particles.