11397 search results - page 2019 / 2280 » A Relational Abstraction for Functions |
255
click to vote
CISC
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Despite many good (secure) key agreement protocols based on publickey cryptography exist, secure associations between two wireless devices are often established using sym...
217
click to vote
DRM
2005
Springer
16 years 29 days ago
2005
Springer
Interoperability is currently seen as one of the most significant problems facing the digital rights management (DRM) industry. In this paper we consider the problem of interoper...
212
click to vote
SARA
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. This article introduces a technique for improving the efficiency of diagnosis through approximate compilation. We extend the approach of compiling a diagnostic model, as...
228
click to vote
MM
2004
ACM
16 years 26 days ago
2004
ACM
This paper deals with phrase structure detection in contemporary western dance. Phrases are a sequence of movements that exist at semantic abstraction than gestures. The problem i...
221
click to vote
SAC
2004
ACM
16 years 25 days ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...