JACM
2010
13 years 2 months ago
2010
JACM
2010
13 years 2 months ago
2010
JACM
2010
13 years 2 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 5 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 5 months ago
2010
JACM
2010
13 years 5 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 5 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 5 months ago
2010
JACM
2010
13 years 5 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 5 months ago
2010