18493 search results - page 3356 / 3699 » Timers for Distributed Systems |
156
Voted
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper develops a new combinatorial auction protocol called the Groves Mechanism with SubModular Approximation (GM-SMA). This protocol satisfies the following characteristics:...
176
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
164
Voted
CVPR
2004
IEEE
15 years 8 months ago
2004
IEEE
Automatic image orientation detection for natural images is a useful, yet challenging research area. Humans use scene context and semantic object recognition to identify the corre...
179
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
181
click to vote
E4MAS
2006
Springer
15 years 8 months ago
2006
Springer
One large and quite interesting family of MAS applications is characterized (1) by their large scale in terms of number of agents and physical distribution, (2) by their very dynam...