Sentence examples for based on a frame from inspiring English sources

A Kripke model $\mathcal{K}$ is based on a frame $\langle S, \preceq \rangle$, which consists of a set of stages partially ordered by an accessibility relation $\preceq$.

For (iii), consider, for example, a Kripke model based on a frame in which we have an infinite number of stages $s_0 \preceq s_1 \preceq \ldots \preceq s_n \preceq \ldots$.

We characterized the zebrafish locomotor behaviors in response to epilepsy-specific drug treatment using a trajectory video tracking system based on a frame differential method (Sonka et al., 1998).

$\neg \forall x \neg \ A \rightarrow \exists x \ A$$$\lnot \lnot \forall x \ A \rightarrow \forall x \ A$$$\forall x \lnot \lnot A \rightarrow \lnot \lnot \forall x \ A$ Let $\mathcal{K}$ be a Kripke model based on a frame in which we have two stages $s_0 \preceq s_1 $

The survey was conducted in Olmsted County, Minnesota based on a frame established using the resources of the Rochester Epidemiology Project (REP), the medical record system for health care providers to residents of Olmsted County [ 9].

To show this experimental evidence, a simple detection scheme was defined, based on a frame-by-frame analysis with fixed thresholding.

In our investigation, for the sake of simplicity and to emphasize better the properties of the given cues, the focus will be limited to an analysis based on a single frame or on two adjacent frames.

Motion correction based on a reference frame (10 to 15 min p.i). was performed on all dynamic PET frames to correct for minor subject movements during the emission scan.

Unlike the existing bus shelters, which are "effectively like tables that have been plunked down, where you can see all the bolts," the new designs, according to their creator, Duncan Jackson, are based on a "portal frame structure, with minimal ground fixings," for easier sidewalk sweeping.

The likelihood ratio in (24) is calculated based on a single frame.

A new method for constructing an SEGM based on a wire frame is proposed.