10848 search results - page 1875 / 2170 » Programming in Biomolecular Computation |
180
click to vote
ATAL
2007
Springer
16 years 26 days ago
2007
Springer
In a dynamic market, being able to update one’s value based on information available to other bidders currently in the market can be critical to having profitable transactions. ...
202
click to vote
BTW
2007
Springer
16 years 26 days ago
2007
Springer
: Distributed top-k query processing is increasingly becoming an essential functionality in a large number of emerging application classes. This paper addresses the efficient alge...
158
click to vote
COCO
2007
Springer
16 years 25 days ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
174
click to vote
CP
2007
Springer
16 years 25 days ago
2007
Springer
Symmetry is an important factor in solving many constraint satisfaction problems. One common type of symmetry is when we have symmetric values. We can eliminate such value symmetr...
154
click to vote
CP
2007
Springer
16 years 25 days ago
2007
Springer
The typical constraint store transmits a limited amount of information because it consists only of variable domains. We propose a richer constraint store in the form of a limited-w...