Sentence examples for mathematical semantics based from inspiring English sources

It has a precise, yet intuitive mathematical semantics based on category theory.

To minimize the semantic gap, mathematical models are constructed using low-level features to map images to high-level trait semantics based on degrees of relevance.

We then present two formal semantics for HMSCs – an intuitive linear time semantics based on runs, and an operational semantics in terms of a labelled transition system.

These inference relations will be assigned, however, both standard semantics (giving interpretation to their rules), and natural nonmonotonic semantics based on the principle of explanation closure.

The book covers linear-time semantics, based on traces; branching-time semantics, using both labeled transition systems and refusals; and true concurrency semantics, using (bundle) event structures.

It moreover addresses the question of how Davidsonian event semantics can be embedded in a semantics based on situations.

In the Routleys-Meyer semantics, based on possible-world semantics (which is the most studied semantics for relevant logics, especially in Australia), conjunction and disjunction behave in the usual way.

Wright has an underlying semantics based upon the formalism known as communicating sequential processes (Hoare 1985).

Each has its own distinctive clinical semantics based on a clinical record ontology as explained by Heard et al. [ 13].

SNOMED RT and SNOMED CT (partially) follow a formal semantics based on the description logic specification KRSS [ 3].

A declarative programming language is provided, which accepts a subset of mathematical semantics specified using the Mathematical Markup Language (MathML) as well as a fortran-like syntax.