12707 search results - page 2155 / 2542 » A Distributed Arc-Consistency Algorithm |
166
click to vote
CAAN
2004
Springer
16 years 25 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...
198
click to vote
CMMR
2004
Springer
16 years 24 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...
186
click to vote
CONCUR
2004
Springer
16 years 24 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...
187
click to vote
CP
2004
Springer
16 years 24 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...
196
click to vote
EDBTW
2004
Springer
16 years 24 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...