8825 search results - page 268 / 1765 » All for one or one for all |
122
click to vote
IPPS
2005
IEEE
15 years 7 months ago
2005
IEEE
Most of current peer-to-peer designs build their own system overlays independent of the physical one. Nodes within unstructured systems form a random overlay, on the contrary, str...
119
click to vote
ISCC
2005
IEEE
15 years 7 months ago
2005
IEEE
A shared communication medium is characterized by multiple entities that use this medium by reading and writing from and to it. Write operations on the shared communication medium...
110
click to vote
SAT
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
122
click to vote
VLDB
2004
ACM
15 years 7 months ago
2004
ACM
Given a point q, a reverse k nearest neighbor (RkNN) query retrieves all the data points that have q as one of their k nearest neighbors. Existing methods for processing such quer...
ICTAI
2003
IEEE
15 years 7 months ago
2003
IEEE
Local search-based methods of SAT solving have received a significant attention in the last decade. All local search-based methods choose the next truth assignment by flipping t...