24 search results - page 3 / 5 » csl 2002 |
CSL
2002
Springer
13 years 5 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 5 months ago
2002
Springer
In this paper, we describe a generation system for spoken dialogue that not only produces coherent, informative and responsive dialogue contributions, but also explicitly models h...
CSL
2002
Springer
13 years 5 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
2006
Springer
13 years 5 months ago
2006
Springer
This paper presents a prosodic phrasing model for Korean to be used in a text-to-speech synthesis (TTS) system. Read text corpora were morpho-syntactically parsed and prosodically...
FGR
2002
IEEE
13 years 10 months ago
2002
IEEE
Hitherto, the major challenge to sign language recognition is how to develop approaches that scale well with increasing vocabulary size. In this paper we present an approach to la...