2015 search results - page 138 / 403 » Some Observations on Indifferentiability |
103
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
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...
152
click to vote
CRV
2004
IEEE
15 years 8 months ago
2004
IEEE
We present an approach for inferring complete depth maps from intensity images and sparse depth information. This paper developed prior work which incrementally completes a sparse...
122
click to vote
ECML
2006
Springer
15 years 8 months ago
2006
Springer
The standard approach for learning Markov Models with Hidden State uses the Expectation-Maximization framework. While this approach had a significant impact on several practical ap...
131
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
To help unravel the structure of the universe, astronomers have developed systems which observe large clusters of objects at the same time. One such system is the 2-degree field s...
120
click to vote
ISSS
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper describes the application of a measurement based power analysis technique for an embedded DSP processor. An instruction-level power model for the processor has been dev...