Sciweavers

CSL
2002
Springer
14 years 12 days ago
Learning visually grounded words and syntax for a scene description task
A spoken language generation system has been developed that learns to describe objects in computer-generated visual scenes. The system is trained by a `show-and-tell' procedu...
Deb K. Roy
CSL
2002
Springer
14 years 12 days ago
Transformation streams and the HMM error model
The most popular model used in automatic speech recognition is the hidden Markov model (HMM). Though good performance has been obtained with such models there are well known limit...
M. J. F. Gales
CSL
2002
Springer
14 years 12 days ago
Weighted finite-state transducers in speech recognition
We survey the use of weighted finite-state transducers (WFSTs) in speech recognition. We show that WFSTs provide a common and natural representation for HMM models, context-depend...
Mehryar Mohri, Fernando Pereira, Michael Riley
CSL
2002
Springer
14 years 12 days ago
A conversation acts model for generating spoken dialogue contributions
In this paper, we describe a generation system for spoken dialogue that not only produces coherent, informative and responsive dialogue contributions, but also explicitly models h...
Amanda Stent
CSL
2002
Springer
14 years 12 days ago
Stochastic natural language generation for spoken dialog systems
We describe a corpus-based approach to natural language generation (NLG). The approach has been implemented as a component of a spoken dialog system and a series of evaluations we...
Alice Oh, Alexander I. Rudnicky
CSL
2002
Springer
14 years 12 days ago
Recognition confidence scoring and its use in speech understanding systems
In this paper we present an approach to recognition confidence scoring and a set of techniques for integrating confidence scores into the understanding and dialogue components of ...
Timothy J. Hazen, Stephanie Seneff, Joseph Polifro...
CSL
2002
Springer
14 years 12 days ago
Lightly supervised and unsupervised acoustic model training
The last decade has witnessed substantial progress in speech recognition technology, with todays state-of-the-art systems being able to transcribe unrestricted broadcast news audi...
Lori Lamel, Jean-Luc Gauvain, Gilles Adda
CSL
2002
Springer
14 years 12 days ago
Hoare Logics for Recursive Procedures and Unbounded Nondeterminism
This paper presents sound and complete Hoare logics for partial and total correctness of recursive parameterless procedures in the context of unbounded nondeterminism. For total co...
Tobias Nipkow
CSL
2002
Springer
14 years 12 days ago
Automata, Logic, and XML
Frank Neven