3573 search results - page 598 / 715 » Reasoning about Codata |
114
click to vote
JAR
1998
15 years 13 days ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
100
Voted
DLOG
2009
14 years 10 months ago
2009
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...
CSL
2000
Springer
15 years 18 days 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...
130
click to vote
CSL
2002
Springer
15 years 18 days ago
2002
Springer
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...
109
Voted
CSL
2002
Springer
15 years 18 days ago
2002
Springer
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 ...