Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear...
The Rete and Treat algorithms are considered the most efficient implementation techniques for Forward Chaining rule systems. These algorithms support a language of limited express...
This paper describes several new cepstral-based compensation procedures that render the SPHINX-II system more robust with respect to acoustical environment. The first algorithm, p...
Fu-Hua Liu, Pedro J. Moreno, Richard M. Stem, Alej...
Overlapping batch statistics estimate the variance of point estimators using overlapping batches (Schmeiser, Avramidis and Hashem 1990). In this paper we study sufficient conditio...
This paper describes two novel techniques which, when applied together, in practice significantly reduce the time required for unifying disjunctive feature structures. The first i...