JACM
2010
13 years 6 months ago
2010
JACM
2010
13 years 6 months ago
2010
JACM
2010
13 years 6 months ago
2010
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
JACM
2010
13 years 10 months ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
JACM
2010
13 years 10 months ago
2010
JACM
2010
13 years 10 months ago
2010
This article determines the weakest failure detectors to implement shared atomic objects in a distributed system with crash-prone processes. We first determine the weakest failure...
JACM
2010
13 years 10 months ago
2010
We present a linear expected time algorithm for finding maximum cardinality matchings in sparse random graphs. This is optimal and improves on previous results by a logarithmic f...
JACM
2010
13 years 10 months ago
2010
JACM
2010
13 years 10 months ago
2010
We present a fully dynamic randomized data structure that can answer queries about the convex hull of a set of n points in three dimensions, where insertions take O(log3 n) expect...
JACM
2010
13 years 10 months ago
2010