7661 search results - page 1227 / 1533 » Languages and the Computing Profession |
204
click to vote
CP
2003
Springer
16 years 23 days ago
2003
Springer
Mechanism design is the art of designing the rules of the game (aka. mechanism) so that a desirable outcome (according to a given objective) is reached despite the fact that each a...
190
click to vote
CP
2003
Springer
16 years 23 days ago
2003
Springer
Incomplete decision algorithms can often solve larger problem instances than complete ones. The drawback is that one does not know whether the algorithm will finish soon, later, ...
190
click to vote
ICALP
2003
Springer
16 years 22 days ago
2003
Springer
Suppose we have n algorithms, quantum or classical, each computing some bit-value with bounded error probability. We describe a quantum algorithm that uses O( √ n) repetitions of...
226
click to vote
ICALP
2003
Springer
16 years 22 days ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
198
click to vote
ICLP
2003
Springer
16 years 22 days ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...