13987 search results - page 617 / 2798 » The Two Guards Problem |
234
Voted
CPHYSICS
2011
14 years 10 months ago
2011
The inner silicon detector of the Compact Muon Solenoid experiment (CMS) at CERN’s LHC consists of 16 588 modules. Charged-particle tracks in the detector are used to improve th...
206
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—We consider the problem of maximizing the throughput of Byzantine agreement, when communication links have finite capacity. Byzantine agreement is a classical problem in distri...
243
Voted
CONCUR
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
249
Voted
CORR
2012
Springer
14 years 3 months ago
2012
Springer
Suppose that we observe noisy linear measurements of an unknown signal that can be modeled as the sum of two component signals, each of which arises from a nonlinear sub-manifold ...
196
click to vote
CORR
2012
Springer
14 years 3 months ago
2012
Springer
At the heart of many scientific conferences is the problem of matching submitted papers to suitable reviewers. Arriving at a good assignment is a major and important challenge fo...