4609 search results - page 584 / 922 » Automatic Generation of Sigma-Protocols |
233
click to vote
ADS
2004
Springer
16 years 4 days ago
2004
Springer
This paper describes an initial approach to emotional speech synthesis in Catalan based on a diphone concatenation TTS system. The main goal of this work is to develop a simple pro...
171
click to vote
AMAST
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
169
click to vote
ASM
2004
ASM
16 years 4 days ago
2004
ASM
tographic Abstract Machine Dean Rosenzweig and Davor Runje University of Zagreb The Cryptographic Abstract Machine is an executional model of cryptographic actions, independent of ...
161
click to vote
ATAL
2004
Springer
16 years 4 days ago
2004
Springer
Most people have long term information interests. Current Web search engines satisfy immediate information needs. Specific sites support tracking of long term interests. We prese...
175
click to vote
DALT
2004
Springer
16 years 3 days ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...