Sciweavers

2494 search results - page 355 / 499
» Global Localization using Odometry
Sort
View
110
Voted
PODC
2010
ACM
15 years 9 months ago
Verifying linearizability with hindsight
We present a proof of safety and linearizability of a highlyconcurrent optimistic set algorithm. The key step in our proof is the Hindsight Lemma, which allows a thread to infer t...
Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev,...
141
Voted
AAAI
2008
15 years 7 months ago
Voting on Multiattribute Domains with Cyclic Preferential Dependencies
In group decision making, often the agents need to decide on multiple attributes at the same time, so that there are exponentially many alternatives. In this case, it is unrealist...
Lirong Xia, Vincent Conitzer, Jérôme ...
ANTSW
2008
Springer
15 years 7 months ago
Lattice Formation in Space for a Swarm of Pico Satellites
We present a distributed control strategy that lets a swarm of satellites autonomously form a lattice in orbit around a planet. The system, based on the artificial potential field ...
Carlo Pinciroli, Mauro Birattari, Elio Tuci, Marco...
NIPS
2008
15 years 6 months ago
Asynchronous Distributed Learning of Topic Models
Distributed learning is a problem of fundamental interest in machine learning and cognitive science. In this paper, we present asynchronous distributed learning algorithms for two...
Arthur Asuncion, Padhraic Smyth, Max Welling
ALGORITHMICA
2007
70views more  ALGORITHMICA 2007»
15 years 5 months ago
Sampling Conformation Space to Model Equilibrium Fluctuations in Proteins
This paper proposes the Protein Ensemble Method (PEM) to model equilibrium fluctuations in proteins where fragments of the protein polypeptide chain can move independently of one ...
Amarda Shehu, Cecilia Clementi, Lydia E. Kavraki