804 search results - page 125 / 161 » On the Termination of the Chase Algorithm |
120
Voted
PODC
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we study the wireless synchronization problem which requires devices activated at different times on a congested single-hop radio network to synchronize their roun...
130
click to vote
OPODIS
2010
14 years 10 months ago
2010
Abstract. Shared counters are the key to solving a variety of coordination problems on multiprocessor machines, such as barrier synchronization and index distribution. It is desire...
115
click to vote
JAR
2006
15 years 20 days ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
207
Voted
Publication
The size of computer networks, along with their bandwidths, is growing exponentially. To support these large, high-speed networks, it is neccessary to be able to forward packets in...
97
Voted
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Video surveillance systems produce huge amounts of data for storage and display. Long-term human monitoring of the acquired video is impractical and ineffective. Automatic abnorma...