15 search results - page 2 / 3 » csl 2000 |
CSL
2000
Springer
13 years 9 months ago
2000
Springer
We show that dependent sums and dependent products of continuous parametrizations on domains with dense, codense, and natural totalities agree with dependent sums and dependent pro...
CSL
2000
Springer
13 years 9 months ago
2000
Springer
In the ambient logic of classical second order propositional calculus, we solve the specification problem for a family of excluded middle like tautologies. These are shown to be r...
CSL
2000
Springer
13 years 9 months ago
2000
Springer
We study definability of languages in arithmetic and the free monoid by bounded versions of fixed-point and transitive-closure logics. In particular we give logical characterisat...
CSL
2000
Springer
13 years 4 months ago
2000
Springer
This paper outlines ProSynth, an approach to speech synthesis which takes a rich linguistic structure as central to the generation of natural-sounding speech. We start from the as...
JNSM
2000
13 years 4 months ago
2000
The increasing complexities of modern networks coupled with the popularity of multimedia applications have placed higher demands on network managers. This paper reviews the main r...