Sciweavers

27119 search results - page 5010 / 5424
» Languages
Sort
View
CORR
2002
Springer
133views Education» more  CORR 2002»
15 years 6 months ago
Complete Axiomatizations for Reasoning About Knowledge and Time
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Va...
CSCW
2002
ACM
15 years 6 months ago
The use of visual information in shared visual spaces: informing the development of virtual co-presence
A shared visual workspace is one where multiple people can see the same objects at roughly the same time. We present findings from an experiment investigating the effects of share...
Robert E. Kraut, Darren Gergle, Susan R. Fussell
CSL
2002
Springer
15 years 6 months 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
15 years 6 months 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...
CUZA
2002
129views more  CUZA 2002»
15 years 6 months ago
Ad Hoc Metacomputing with Compeer
Metacomputing allows the exploitation of geographically seperate, heterogenous networks and resources. Most metacomputers are feature rich and carry a long, complicated installati...
Keith Power, John P. Morrison
« Prev « First page 5010 / 5424 Last » Next »