Sciweavers

1302 search results - page 92 / 261
» Soundness in the Public-Key Model
Sort
View
CSFW
2002
IEEE
15 years 11 months ago
A Privacy Policy Model for Enterprises
Privacy is an increasing concern in the marketplace. Although enterprises promise sound privacy practices to their customers, there is no technical mechanism to enforce them inter...
Günter Karjoth, Matthias Schunter
ENGL
2006
108views more  ENGL 2006»
15 years 6 months ago
A Fuzzy-Neuro Model for Normal Concrete Mix Design
: Concrete mix design is a process of proportioning the ingredients in right proportions. Though it is based on sound technical principles and heuristics, the entire process is not...
M. C. Nataraja, M. A. Jayaram, C. N. Ravikumar
TASLP
2010
165views more  TASLP 2010»
15 years 1 months ago
Model-Based Dereverberation Preserving Binaural Cues
The ability of the human auditory system for sound localization mainly depends on the binaural cues, especially interaural time and level differences (ITD and ILD). In the context ...
Marco Jeub, M. Schafer, Thomas Esch, Peter Vary
IFIP
2009
Springer
15 years 4 months ago
Finite Models in FOL-Based Crypto-Protocol Verification
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...
Jan Jürjens, Tjark Weber
JSAI
2007
Springer
16 years 19 days ago
Consideration of Infants' Vocal Imitation Through Modeling Speech as Timbre-Based Melody
Abstract. Infants acquire spoken language through hearing and imitating utterances mainly from their parents [1,2,3] but never imitate their parents’ voices as they are. What in ...
Nobuaki Minematsu, Tazuko Nishimura