3353 search results - page 429 / 671 » Laver and set theory |
168
click to vote
ACMICEC
2006
ACM
16 years 19 days ago
2006
ACM
This paper addresses a problem in supply chain management that how scarce resources can be efficiently allocated among competing interests. We present a formal model of allocation...
174
click to vote
SIGIR
2006
ACM
16 years 18 days ago
2006
ACM
Vector Space Model (VSM) has been at the core of information retrieval for the past decades. VSM considers the documents as vectors in high dimensional space. In such a vector spa...
152
click to vote
HICSS
2005
IEEE
16 years 8 days ago
2005
IEEE
Concerns about virtual groups include how members develop trust and liking for partners. Previous studies have explored behavioral variables leading to subjectively-experienced tr...
187
click to vote
PPOPP
2005
ACM
16 years 6 days ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...
144
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
This paper aims at proposing a general formal framework for dialogue between autonomous agents which are looking for a common agreement about a collective choice. The proposed set...