994 search results - page 55 / 199 » Modeling task allocation using a decision theoretic model |
114
click to vote
GI
2001
Springer
15 years 6 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
116
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
Distributing scarce resources among agents in a way that maximizes the social welfare of the group is a computationally hard problem when the value of a resource bundle is not lin...
104
click to vote
CI
2004
15 years 1 months ago
2004
We consider automated decision aids that help users select the best solution from a large set of options. For such tools to successfully accomplish their task, eliciting and repre...
106
click to vote
CASES
2001
ACM
15 years 5 months ago
2001
ACM
In an embedded system, it is common to have several memory areas with different properties, such as access time and size. An access to a specific memory area is usually restricted...
134
click to vote
MOBIHOC
2007
ACM
16 years 1 months ago
2007
ACM
A number of studies have shown the abundance of unused spectrum in the TV bands. This is in stark contrast to the overcrowding of wireless devices in the ISM bands. A recent trend...