3564 search results - page 452 / 713 » Evaluating a Formal Modelling Language |
122
click to vote
IUI
1998
ACM
15 years 8 months ago
1998
ACM
Eliciting user-task models is a thorny problem in modelbased user interface design, and communicating domainspecific knowledge from an expert to a knowledge engineer is a continui...
118
click to vote
NAACL
2007
15 years 5 months ago
2007
This paper describes the CMU/InterACT effort in developing an Arabic Automatic Speech Recognition (ASR) system for broadcast news and conversations within the GALE 2006 evaluation...
124
click to vote
ICONIP
2004
15 years 5 months ago
2004
In-Car speech recognition will be pervasive over the coming years. The goal of speech enhancement is to increase the quality and intelligibility of speech in a noisy environment. T...
131
click to vote
COLING
2010
14 years 10 months ago
2010
Unrehearsed spoken language often contains disfluencies. In order to correctly interpret a spoken utterance, any such disfluencies must be identified and removed or otherwise deal...
187
click to vote
CAV
1998
Springer
15 years 8 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...