2321 search results - page 416 / 465 » A Protocol for a Distributed Recommender System |
109
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we produce complexity and impossibility results and develop algorithms for a task allocation problem that needs to be solved by a group of autonomous agents working ...
126
click to vote
ICCD
2000
IEEE
15 years 5 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
172
click to vote
LBM
2007
15 years 2 months ago
2007
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the comput...
135
click to vote
USENIX
2004
15 years 2 months ago
2004
The performance seen by individual clients on a wireless local area network (WLAN) is heavily influenced by the manner in which wireless channel capacity is allocated. The popular...
144
click to vote
PPAM
2005
Springer
15 years 6 months ago
2005
Springer
The ARTiS system, a real-time extension of the GNU/Linux scheduler dedicated to SMP (Symmetric Multi-Processors) systems is proposed. ARTiS exploits the SMP architecture to guarant...