1328 search results - page 141 / 266 » Cut-free common knowledge |
178
click to vote
EUROMED
2010
15 years 2 months ago
2010
Linking 3D photorealistic and virtual reality models with contents of bibliographic repositories and resources is needed for archeological and historical analyses, public understan...
141
click to vote
GAMESEC
2010
15 years 2 months ago
2010
Abstract. Even the most well-motivated models of information security have application limitations due to the inherent uncertainties involving risk. This paper exemplifies a formal...
178
click to vote
MICCAI
2010
Springer
15 years 2 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...
168
click to vote
OPODIS
2010
15 years 2 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...
155
click to vote
OPODIS
2010
15 years 2 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...