5221 search results - page 74 / 1045 » An On-line Problem Database |
JSW
2007
13 years 10 months ago
2007
— Active databases have been used in many different fields to accomplish many different tasks. One of the main problems today that still have not been solved is authorization. In...
SDM
2007
SIAM
13 years 11 months ago
2007
SIAM
The problem of efficiently finding images that are similar to a target image has attracted much attention in the image processing community and is rightly considered an informatio...
SEBD
2001
13 years 11 months ago
2001
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...
SIGMOD
2004
ACM
14 years 10 months ago
2004
ACM
Many modern software systems provide progress indicators for long-running tasks. These progress indicators make systems more user-friendly by helping the user quickly estimate how...
DBISP2P
2003
Springer
14 years 3 months ago
2003
Springer
In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p sys...