6388 search results - page 794 / 1278 » Knowledge and Information |
200
click to vote
TYPES
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
193
click to vote
DEXAW
2003
IEEE
16 years 10 days ago
2003
IEEE
Across a wide variety of fields, huge datasets are being collected and accumulated at a dramatical pace. The datasets addressed by individual applications are very often heteroge...
212
click to vote
ICTAI
2003
IEEE
16 years 10 days ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
166
click to vote
IEEEPACT
2003
IEEE
16 years 10 days ago
2003
IEEE
This paper describes Compiler-Directed Content-Aware Prefetching (CDCAP), an integrated compiler and hardware approach for prefetching dynamic data structures. The approach utiliz...
173
click to vote
IV
2003
IEEE
16 years 9 days ago
2003
IEEE
This paper describes a visualisation tool, VlUM, designed to support users in scrutinising models of their interests, preferences and knowledge. We also describe MECUREO, a tool f...