804 search results - page 82 / 161 » On the Termination of the Chase Algorithm |
DCC
2006
IEEE
16 years 5 days ago
2006
IEEE
This paper considers the design of efficient quantizers for a distributed source coding system. The information is encoded at independent terminals and transmitted across separate...
CSFW
2008
IEEE
15 years 7 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
129
click to vote
ICPADS
2007
IEEE
15 years 7 months ago
2007
IEEE
Given an undirected graph with weights associated with its edges, the Steiner tree problem consists of finding a minimum weight subtree spanning a given subset of (terminal) nodes...
133
click to vote
WADS
2007
Springer
15 years 6 months ago
2007
Springer
We present a polynomial-time approximation scheme (PTAS) for the Steiner tree problem with polygonal obstacles in the plane with running time O(n log2 n), where n denotes the numb...
HYBRID
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the imp...