CSL
2000
Springer
13 years 4 months ago
2000
Springer
This paper introduces a new form of observation distributions for hidden Markov models (HMMs), combining subvector quantization and mixtures of discrete distrib utions. Despite w...
CSL
2000
Springer
13 years 4 months ago
2000
Springer
CSL
2000
Springer
13 years 4 months ago
2000
Springer
Conversational speech exhibits considerable pronunciation variability, which has been shown to have a detrimental effect on the accuracy of automatic speech recognition. There hav...
CSL
2000
Springer
13 years 4 months ago
2000
Springer
We report work on the first component of a two stage speech recognition architecture based on phonological features rather than phones. The paper reports experiments on three phon...
CSL
2000
Springer
13 years 4 months ago
2000
Springer
This paper outlines ProSynth, an approach to speech synthesis which takes a rich linguistic structure as central to the generation of natural-sounding speech. We start from the as...
CSL
2000
Springer
13 years 4 months ago
2000
Springer
Abstract. We investigate the possibility of giving a computational interpretation of an involutive negation in classical natural deduction. We first show why this cannot be simply ...
CSL
2000
Springer
13 years 9 months ago
2000
Springer
CSL
2000
Springer
13 years 9 months ago
2000
Springer
CSL
2000
Springer
13 years 9 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
CSL
2000
Springer
13 years 9 months ago
2000
Springer
In the ambient logic of classical second order propositional calculus, we solve the specification problem for a family of excluded middle like tautologies. These are shown to be r...