1450 search results - page 284 / 290 » Common knowledge revisited |
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...
TROB
2010
14 years 8 months ago
2010
Abstract—Localization, which is the determination of one’s location in a known terrain, is a fundamental task for autonomous robots. This paper presents several new basic theor...
120
click to vote
MICCAI
2010
Springer
14 years 7 months ago
2010
Springer
Groupwise registration has been widely investigated in recent years due to its importance in analyzing population data in many clinical applications. To our best knowledge, most o...
111
click to vote
OPODIS
2010
14 years 7 months ago
2010
Abstract. Shared counters are the key to solving a variety of coordination problems on multiprocessor machines, such as barrier synchronization and index distribution. It is desire...
OPODIS
2010
14 years 7 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...