1302 search results - page 227 / 261 » Soundness in the Public-Key Model |
MM
2003
ACM
15 years 5 months ago
2003
ACM
Although statistical characteristics of audio features are widely used for similarity measure in most of current audio analysis systems and have been proved to be effective, they ...
140
click to vote
MM
2003
ACM
15 years 5 months ago
2003
ACM
We present a new model of interactive audio for entertainment and communication. A new device called the DJammer and its associated technologies are described. The DJammer introdu...
TLDI
2003
ACM
15 years 5 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Effective human teams often benefit from proactivity through members’ capability of anticipating different needs of teammates. In this paper, we focus on three issues related...
CONCUR
2003
Springer
15 years 5 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...