523 search results - page 85 / 105 » On the Power of Quantum Proofs |
CP
2007
Springer
15 years 6 months ago
2007
Springer
It has recently been shown, for the Constraint Satisfaction Problem (CSP), that the state associated with a node of the search tree built by a backtracking algorithm can be exploit...
104
click to vote
IJCNN
2006
IEEE
15 years 5 months ago
2006
IEEE
— Neuronal morphology plays a crucial role in the information processing capabilities of neurons. Despite the importance of morphology for neural functionality, biological data i...
107
click to vote
MSWIM
2006
ACM
15 years 5 months ago
2006
ACM
Mobile devices should allow users to exploit services anytime, without any place restriction and in a transparent way. The Bluetooth technology achieves this feature, by providing...
PPOPP
2006
ACM
15 years 5 months ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
COCO
2005
Springer
15 years 5 months ago
2005
Springer
A t-private private information retrieval (PIR) scheme allows a user to retrieve the ith bit of an n-bit string x replicated among k servers, while any coalition of up to t server...