804 search results - page 3 / 161 » On the Termination of the Chase Algorithm |
269
click to vote
CADE
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. We describe a new algorithm for solving linear integer programming problems. The algorithm performs a DPLL style search for a feasible assignment, while using a novel cut...
159
click to vote
HT
2003
ACM
15 years 11 months ago
2003
ACM
In this short paper, we present a location aware mobile game which lets users play a paper chase game on a mobile device. By using their physical movement and location in the real...
144
click to vote
ERSHOV
2006
Springer
15 years 9 months ago
2006
Springer
In this work, we present a semantic query optimization technique to improve the efficiency of the evaluation of a subset of SQL:1999 recursive queries. Using datalog notation, we c...
140
click to vote
GLOBECOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— We compare the performance of various dynamic query abolishment mechanisms in different unstructured overlay network topologies such as found in several P2P systems. We speciï¬...
151
click to vote
PAAPP
2006
15 years 5 months ago
2006
Abstract: In this paper, we present a new, easy to implement algorithm for detecting the termination of a parallel asynchronous computation on distributedmemory MIMD computers. We ...