1738 search results - page 240 / 348 » Local Consistency and SAT-Solvers |
135
click to vote
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
A critical optimization in the domain of linear signal transforms, such as the discrete Fourier transform (DFT), is loop merging, which increases data locality and reuse and thus ...
157
click to vote
SIGIR
2005
ACM
15 years 11 months ago
2005
ACM
We consider classification of email messages as to whether or not they contain certain “email acts”, such as a request or a commitment. We show that exploiting the sequential ...
238
click to vote
WOWMOM
2005
ACM
15 years 11 months ago
2005
ACM
Ad hoc networks represent a key factor in the evolution of wireless communications. These networks typically consist of equal nodes that communicate without central control, inter...
139
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Multi-agent problem domains may require distributed algorithms for a variety of reasons: local sensors, limitations of communication, and availability of distributed computational...
160
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Multiparty agreements often arise in a multiagent system where autonomous agents interact with each other to achieve a global goal. Multiparty agreements are traditionally represe...