Sentence examples for a trace at a from inspiring English sources

Given a trace σ at the configuration (s 1, v), if the input projection α of σ is defined over selected parameterized and possibly over some non-parameterized inputs, then σ is a trace at A(s 1, v) of the FSM M B. c c.

Yet honeybees, which contribute to our food chain in many more ways than any other animal species (and whose pollination makes available the alfalfa and clover processed into hay to feed beef and dairy cattle), are disappearing without a trace at a rate we can't even measure accurately.

If σ is a trace at an abstract state (s, a) of FSM M B then at each configuration (s 1, v) ∈ A -1(s 1, a) of EFSM M, there exists a single trace σ′ with the input projection α.

CBS was second, thanks to decent ratings for "Big Brother" at 9 (6.4 million), followed by a rerun of "Without a Trace" at 10 (5.9 million).

CBS drew slightly more viewers, thanks to repeats of "CSI" at 9 (9.4 million) and "Without a Trace" at 10 (9.6 million).

It was preceded by "CSI: NY" at 8 (9.6 million), and followed by "Without a Trace" at 10 (10.5 million).

"Without a Trace" at 10 p.m. (21.4 million) delivered CBS's best ratings in that slot in almost two years.

On Nov. 18, the other two hours will have repeats of "Without a Trace" at 9 p.m. and "C.S.I.

Given a trace σ at the configuration (s 1, v), if the input projection α = x 1 … x l of σ is defined only over non-parameterized inputs, i.e. x 1,.., x l are non-parameterized, then σ is also a trace at state A(s 1, v) of an FSM M B ,  b.

Given a trace σ at the configuration (s 1, v), if the input projection α of σ is defined over some non-selected parameterized and possibly over some non-parameterized inputs, then σ is not a trace at state A(s 1, v) of M B.  .

A trace over non-parameterized and/or some selected parameterized inputs at configuration (s 1, v) of EFSM M is also a trace at the corresponding abstract state A(s 1, v) of FSM M B. However, a trace at the configuration (s 1, v) that has some non-selected parameterized inputs is not a trace at the corresponding abstract state of M B, i.e., the following (a), (b), and (c) statements hold: a.