4081 search results - page 707 / 817 » The Impact of Constraint Programming |
136
click to vote
KDD
2008
ACM
16 years 4 months ago
2008
ACM
We introduce the problem of query decomposition, where we are given a query and a document retrieval system, and we want to produce a small set of queries whose union of resulting...
126
click to vote
HPCA
2006
IEEE
16 years 4 months ago
2006
IEEE
Building processors with large instruction windows has been proposed as a mechanism for overcoming the memory wall, but finding a feasible and implementable design has been an elu...
116
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
132
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Context Unification is the problem to decide for a given set of second-order equations E where all second-order variables are unary, whether there exists a unifier, such that for e...
139
click to vote
DCC
2008
IEEE
16 years 3 months ago
2008
IEEE
Multiple description coding (MDC) has emerged as a powerful technique for reliable real-time communications over lossy packet networks. In its basic form, it involves encoding a me...