CSL
2002
Springer
13 years 11 months 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 ...
CSL
2002
Springer
13 years 11 months 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...
CSL
2002
Springer
13 years 11 months ago
2002
Springer
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...
CSL
2002
Springer
13 years 11 months ago
2002
Springer
CSL
2002
Springer
13 years 11 months ago
2002
Springer
CSL
2002
Springer
13 years 11 months ago
2002
Springer
CSL
2002
Springer
13 years 11 months ago
2002
Springer
d Abstract) Marcin Jurdzi
CSL
2002
Springer
13 years 11 months ago
2002
Springer
Abstract. We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin's system for the intuitionistic...
CSL
2002
Springer
13 years 11 months ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...
CSL
2002
Springer
13 years 11 months ago
2002
Springer
Ludics has been proposed by Girard as an abstract general approach to proof theory. We explain how its basic notions correspond to those of the "innocent strategy" apprao...