3443 search results - page 250 / 689 » More Algebras for Determiners |
208
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
Structurally recursive XML queries are an important query class that follows the structure of XML data. At present, it is difficult for XQuery to type and optimize structurally re...
178
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
The correct behavior of a service composition depends on the appropriate coordination of its services. According to the idea of channelbased coordination, services exchange message...
197
click to vote
PC
2010
15 years 5 months ago
2010
We consider the computation of shortest paths on Graphic Processing Units (GPUs). The blocked recursive elimination strategy we use is applicable to a class of algorithms (such as...
197
click to vote
SODA
2010
ACM
15 years 5 months ago
2010
ACM
We present an exact algorithm that decides, for every fixed r ≥ 2 in time O(m) + 2O(k2 ) whether a given multiset of m clauses of size r admits a truth assignment that satisfi...
241
click to vote
WG
2010
Springer
15 years 5 months ago
2010
Springer
Θk-graphs are geometric graphs that appear in the context of graph navigation. The shortest-path metric of these graphs is known to approximate the Euclidean complete graph up to...