1302 search results - page 163 / 261 » Soundness in the Public-Key Model |
154
click to vote
ENTCS
2010
15 years 6 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
179
click to vote
JCM
2008
15 years 6 months ago
2008
The use of antenna arrays at emission and reception seems to represent a prominent solution for future wireless systems, it improves data rates and enhances the quality of service....
190
click to vote
DOCENG
2010
ACM
15 years 3 months ago
2010
ACM
This work addresses what we believe to be a central issue in the field of XML diff and merge computation: the mathematical modeling o-called editing deltas and the study of their ...
140
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
In speaker-adaptive HMM-based speech synthesis, there are a few speakers whose synthetic speech sounds worse than that of other speakers, despite having the same amount of adaptat...
157
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In mixtures of musical sounds, the problem of overlapped harmonics poses a significant challenge to source separation. Common Amplitude Modulation (CAM) is one of the most effect...