5084 search results - page 778 / 1017 » Proving Possibility Properties |
219
Voted
SC
2005
ACM
16 years 5 days ago
2005
ACM
Terascale simulations produce data that is vast in spatial, temporal, and variable domains, creating a formidable challenge for subsequent analysis. Feature extraction as a data r...
165
click to vote
ADBIS
2005
Springer
16 years 5 days ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
166
click to vote
ADBIS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper presents an adaptation of the ARIES recovery algorithm that solves the problem of recovery in Shared Disk (SD) database systems, whilst preserving all the desi...
190
click to vote
ASIACRYPT
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. A two-argument function is computed privately by two parties if after the computation, no party should know anything about the other inputs except for what he is able to ...
158
click to vote
CIKM
2005
Springer
16 years 5 days ago
2005
Springer
This paper shows a scheme for incremental evaluation of XPath queries. Here, we focus on a monotone fragment of XPath, i.e., when a data is deleted from (or inserted to) the datab...