### Table 1: PPM model after processing the string abracadabra (maximum order 2)

1995

"... In PAGE 2: ... This mechanism e ectively blends the di erent order models together in a proportion that depends on the values actually used for escape probabilities. As an illustration of the operation of PPM, Table1 shows the state of the four models with k = 2, 1, 0, and ?1 after the input string abracadabra has been processed. For each model, all previously-occurring contexts are shown with their associated predictions, along with occurrence counts c and the probabilities p that are calculated from them.... In PAGE 2: ... There is no sound theoretical basis for any particular choice in the absence of some a priori assumption on the nature of the symbol source; some alternatives are evaluated in [9]. The method used in the example, commonly called \Method C, quot; gives a count to the escape event equal to the number of di erent symbols that have been seen in the context so far [7]; thus, for example, in the order-0 column of Table1 the escape symbol receives a count of 5 because ve di erent symbols have been seen in that context. Sample encodings using these models are shown in Table 2.... ..."

Cited by 88

### Table 1 and 2 list the properties of the objects involved, which build the basis for our calculated sounds.

1995

"... In PAGE 4: ...02 11.16 Table1 : spheres material plate diameter [mm] beam diameter [mm] density [kg/m3] poisson- coefficient elasticity [GPa] aluminium 3.98 3.... ..."

Cited by 1

### Table 1 and 2 list the properties of the objects involved, which build the basis for our calculated sounds.

1995

"... In PAGE 4: ...02 11.16 Table1 : spheres material plate diameter [mm] beam diameter [mm] density [kg/m3] poisson- coefficient elasticity [GPa] aluminium 3.98 3.... ..."

Cited by 1

### Table 7. Use of a theoretical basis in Spanish literature on information needs and uses

"... In PAGE 10: ...2% of the total. Table7 shows that 14 (14.0%) of the works mentioned one of the theories and models included in the previously compiled list.... ..."

### Table 1.Weibull basis for the Curet dataset.

2002

"... In PAGE 9: ...15 Table1 .(Continued).... In PAGE 9: ... Hence, we theoretically confirm their result of 9 remaining degrees of freedom for 3D texture. Table1 gives values for the six parameters as estimated on the Curet database. 5.... ..."

### TABLE 5: Experimental and Theoretical Vibrational Frequencies As Calculated with the 3-21G Basis Set of C606- (in cm-1)

### Table 1: Comparison of speaker recognition and sound classification accuracies (%). FD: feature dimension, PCA- ASP: MPEG-7 audio spectrum projection (ASP) based on PCA basis, ICA-ASP: MPEG-7 ASP based on ICA basis.

2004

Cited by 8

### Table 1 Feedstock Composition and Theoretical Component Yields of Pretreated Softwood

"... In PAGE 4: ...9% on a dry wt basis. Table1 gives the feedstock composition and the theoretical component yields after pretreatment. As seen in Table 1, the conversion yield of cellulose (i.... In PAGE 4: ...2.9% on a dry wt basis. Table 1 gives the feedstock composition and the theoretical component yields after pretreatment. As seen in Table1 , the conversion yield of cellulose (i.e.... ..."

### Table 9: Theoretical Criteria And Automated Reasoning Tools. Criterion Theorem Prover Model Generator

1998

"... In PAGE 9: ...In this paper we outlined a theory building method- ology that is based on the use of standard rst-order logic, and of existing automated reasoning tools. The logic provides us with a number of criteria that can be tested for using computational tools, such as con- sistency, soundness, falsi ability, and contingency (see Table9 ). In principle, each criterion can be tested for by both theorem proving and model generation strate- gies, for example, a theorem is also sound if it holds in all models of the premise set, or a theory is consis- tent if the deductive closure of the premise set does not contain a contradiction.... ..."

Cited by 4

### Table 9: Theoretical Criteria And Automated Reasoning Tools. Criterion Theorem Prover Model Generator

"... In PAGE 9: ...In this paper we outlined a theory building method- ology that is based on the use of standard first-order logic, and of existing automated reasoning tools. The logic provides us with a number of criteria that can be tested for using computational tools, such as con- sistency, soundness, falsifiability, and contingency (see Table9 ). In principle, each criterion can be tested for by both theorem proving and model generation strate- gies, for example, a theorem is also sound if it holds in all models of the premise set, or a theory is consis- tent if the deductive closure of the premise set does not contain a contradiction.... ..."