12707 search results - page 2155 / 2542 » A Distributed Arc-Consistency Algorithm |
158
click to vote
CAAN
2004
Springer
16 years 5 days ago
2004
Springer
We study the bandwidth allocation problem Maximize U(x), subject to Ax ≤ c; x ≥ 0 where U is a utility function, x is a bandwidth allocation vector, and Ax ≤ c represent the...
171
Voted
CMMR
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The Internet Archive for Electronic Music (IAEM) is intended to be a platform to access an extensive and distributed archive of electronic music. It combines collaborativ...
168
click to vote
CONCUR
2004
Springer
16 years 5 days ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
173
click to vote
CP
2004
Springer
16 years 5 days ago
2004
Springer
It is well known that the ratio of the number of clauses to the number of variables in a random k-SAT instance is highly correlated with the instance’s empirical hardness. We con...
177
click to vote
EDBTW
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The Web has been rapidly “deepened” with the prevalence of databases online. On this “deep Web,” numerous sources are structured, providing schema-rich data– Th...