4081 search results - page 707 / 817 » The Impact of Constraint Programming |
KDD
2008
ACM
16 years 28 days 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...
93
Voted
HPCA
2006
IEEE
16 years 27 days 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...
CADE
2008
Springer
16 years 26 days 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 ...
101
Voted
CADE
2006
Springer
16 years 26 days 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...
108
click to vote
DCC
2008
IEEE
16 years 4 days 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...