440 search results - page 63 / 88 » Predicate Abstraction with Indexed Predicates |
76
Voted
PODS
1999
ACM
15 years 2 months ago
1999
ACM
One of the most important types of query processing in spatial databases and geographic information systems is the spatial join, an operation that selects, from two relations, all...
74
Voted
SIGMOD
1997
ACM
15 years 2 months ago
1997
ACM
This paper presents general algorithms for concurrency control in tree-based access methods as well as a recovery protocol and a mechanism for ensuring repeatable read. The algori...
DMSN
2006
ACM
15 years 1 months ago
2006
ACM
Sensor networks are often used to perform monitoring tasks, such as in animal or vehicle tracking and in surveillance of enemy forces in military applications. In this paper we in...
89
Voted
CIDR
2003
14 years 11 months ago
2003
A wide-range of applications, including Publish/Subscribe, Workflow, and Web-site Personalization, require maintaining user’s interest in expected data as conditional expression...
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...