95 search results - page 16 / 19 » Towards a Logical Reconstruction of Information Retrieval Th... |
MM
2004
ACM
14 years 1 months ago
2004
ACM
This purpose of this paper is to present a journal-based system that provides a way for users to reconstruct their emotions around events in their lives, and to see how recall of ...
SIGDOC
2004
ACM
14 years 1 months ago
2004
ACM
The concept of thumbnails is common in image representation. A thumbnail is a highly compressed version of an image that provides a small, yet complete visual representation to th...
SIGMOD
2009
ACM
14 years 7 months ago
2009
ACM
We consider the problem of collectively approximating a set of sensor signals using the least amount of space so that any individual signal can be efficiently reconstructed within...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
CADE
2001
Springer
14 years 8 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...