106
Voted
CSL
2002
Springer
15 years 5 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 ...
128
click to vote
CSL
2002
Springer
15 years 5 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...
CSL
2002
Springer
15 years 5 days 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...
62
Voted
CSL
2002
Springer
15 years 5 days ago
2002
Springer
CSL
2002
Springer
15 years 5 days ago
2002
Springer
48
Voted
CSL
2002
Springer
15 years 5 days ago
2002
Springer
97
Voted
CSL
2002
Springer
15 years 5 days 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...
109
Voted
CSL
2002
Springer
15 years 5 days 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 ...
82
Voted
CSL
2002
Springer
15 years 5 days 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...