### Table 4. MRR performance of polyphonic queries.

2002

"... In PAGE 14: ...2. Polyphonic queries and QBE Table4 shows the mean average precision for polyphonic queries emulating the query-by- example case. Here the corresponding error model includes a model for rhythmic and timing... ..."

### Table 2. State spaces of the studied models

2002

"... In PAGE 16: ...nents as in [8]. The dimensions of the associated CTMC are shown in Table2 (a); column jSj shows the number of states, and column NZ(Q) gives the number of o -diagonal nonzero matrix entries in Q. For those model con gurations, the implementations of a Jacobi and a Gauss-Seidel solver perform as shown in Table 3(a).... In PAGE 18: ... To obtain a Kronecker representation, we use the same par- tition into four components that was used in [26]. Table2 (b) shows the number of states in the CTMC and the o -diagonal nonzero entries, much like Table 2(a). Table 3(b) gives the computation times we observed on average for a single iteration step for this model.... ..."

Cited by 8

### Table 2. Size of state space.

2002

"... In PAGE 8: ... Analysis Results After modeling the behavior of crowd members as de- scribed in section 4, and specifying anonymity properties as described in section 5, we used PRISM to perform prob- abilistic model checking of different system configurations and compute the relevant probabilities. Table2 describes the size of the state space for models of different size. The number of corrupt crowd members does not affect the size of the state space since all corrupt members are modeled as a single process (see section 4.... ..."

Cited by 32

### Table 2. Size of state space.

2002

"... In PAGE 8: ... Analysis Results After modeling the behavior of crowd members as de- scribed in section 4, and specifying anonymity properties as described in section 5, we used PRISM to perform prob- abilistic model checking of different system configurations and compute the relevant probabilities. Table2 describes the size of the state space for models of different size. The number of corrupt crowd members does not affect the size of the state space since all corrupt members are modeled as a single process (see section 4.... ..."

Cited by 32

### Table 2: Simulation model types. Discrete State Space Continuous State Space

1992

"... In PAGE 8: ...Taking the cross product of time and state space in terms of two possible values (\discrete quot; and \continuous quot;) suggests four possible model types. Table2 displays these combinations with example model formalisms for each. Discrete event models cannot be localized within table 2 since the concept of \discrete event quot; refers to a discrete updating process rather than to the discrete or continuous character of time or state (see [42, 32] for characterizations of discrete event models).... ..."

Cited by 59

### Table 1: Results of State Space Analysis

1994

"... In PAGE 17: ... For this case the state space is about 160,000 states, and model solution takes about 9 hours on a HP 715 workstation. Although PEPP solves graph models using an approximate state space analysis, model evaluation using state space analysis is not possible for a higher degree of parallelism ( Table1 ). It should be emphasized that the approximate state space analysis implemented in PEPP can deal with any runtime distribution (e.... ..."

Cited by 17

### Table 1: Results of State Space Analysis

"... In PAGE 17: ... For this case the state space is about 160,000 states, and model solution takes about 9 hours on a HP 715 workstation. Although PEPP solves graph models using an approximate state space analysis, model evaluation using state space analysis is not possible for a higher degree of parallelism ( Table1 ). It should be emphasized that the approximate state space analysis implemented in PEPP can deal with any runtime distribution (e.... ..."

### Table 1: State space for the FJ model of Fig. 4.

2000

"... In PAGE 7: ... In the experiments, we vary the value of N and , assum- ing a partition of the net into ve components. The size of the state space obviously increases with the number N of circulating jobs: Table1... ..."

Cited by 17

### Table 1: State space for the FJ model of Fig. 4.

2000

"... In PAGE 7: ... In the experiments, we vary the value of N and , assum- ing a partition of the net into ve components. The size of the state space obviously increases with the number N of circulating jobs: Table1... ..."

Cited by 17

### Table 2. Total clique state space size of the three models

"... In PAGE 17: ...17 Table2 shows the total clique state space of the optimal junction trees used for solving each LIMID where the optimality criterion is clique state space size. The total clique state space size is de ned as P C2C Q X2C kXk, where C denotes the set of cliques of the junction tree and kXk denotes the number of states of variable X.... In PAGE 17: ... Table2 also shows the total clique state space size when each model is solved as an in uence diagram. The table shows that the DeepC and VOR- TEX models when considered as in uence diagrams cannot be solved on a standard 32 bits PC platform (each vehicle is equipped with a standard 32 bits PC platform running either Windows or Linux operating systems).... ..."