Sentence examples for based on the predicate from inspiring English sources

The design calculus is based on the predicate logic in Hoare and He's Unifying Theories of Programming (UTP).

By contrast, a permissive inference is not a violation of due process because the State still has the burden of persuading the jury that the suggested conclusion should be inferred based on the predicate facts proved.

Searchable encryption schemes enable the mediator to generate a token based on the predicate that has to be checked and the secret key that was used to encrypt the data.

In particular, we show that the most recent semantics, based on the offer predicate is the only one that satisfies all of them.

It is based on the Diagram Predicate Framework which provides a formalisation of (meta modelling based on category theory and graph transformation.

To provide such a service, we propose a privacy-preserving proximity based location query (PPLQ) protocol, which is based on the hierarchical predicate encryption technique and the prefix membership verification technique.

The client-side cache (henceforth referred to as a SQL*Cacheloads query results dynamically in the course of transaction execution, and formulates a cache description based on the query predicates.

To overcome this limitation, they recommend using a hybrid database approach for the SIEM repository where a traditional RDBMS is used in conjunction with both XML-based databases and a triplet store ("A triple store is a purpose-built database for the storage and retrieval of RDF metadata" [71] and the triple is based on the "subject-predicate-object" methodology).

Subproperties and logical constructs, such as inverse, symmetric, transitive, disjunct and equivalent, provide inference capability based on the first-order predicate logic.

The resulting network or 'graph' is then interpreted by knowledge encoded in OWL ontologies; the URI's become explicitly 'typed' as instances of ontologically defined classes based on the network of predicates and values surrounding them.

The algorithm compares two predicate pairs [predicate (1), predicate (2)] and [predicate (2), predicate (3)] in considered three predicates based on the sustainable priority factor which proposed by us.