CSL
2000
Springer
13 years 11 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 11 months ago
2000
Springer
CSL
2000
Springer
13 years 11 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 11 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 11 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 11 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
14 years 3 months ago
2000
Springer
CSL
2000
Springer
14 years 3 months ago
2000
Springer
CSL
2000
Springer
14 years 3 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
14 years 3 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...