11909 search results - page 226 / 2382 » The Scheme Programming Language |
169
click to vote
ICALP
2005
Springer
16 years 2 days ago
2005
Springer
We present a single-database private information retrieval (PIR) scheme with communication complexity O(k+d), where k ≥ log n is a security parameter that depends on the database...
167
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper offers a critique of the framework of Constraint Satisfaction Problems. While this framework has been successful in studying search techniques, and has inspire...
202
click to vote
PPCP
1993
15 years 10 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
177
click to vote
INTERSENSE
2006
ACM
16 years 16 days ago
2006
ACM
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...
167
click to vote
CP
2005
Springer
16 years 3 days ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...