4332 search results - page 568 / 867 » A Probabilistic Identification Result |
187
click to vote
CVIU
2010
15 years 6 months ago
2010
We describe a technique for improving the accuracy of range maps measured by time-of-flight (TOF) cameras. The technique is based on the observation that the range map and intensi...
153
click to vote
EOR
2010
15 years 6 months ago
2010
We discuss tournaments in terms of their efficiency as probabilistic mechanisms that select high-quality alternatives ("players") in a noisy environment. We use two crit...
153
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper defines action-labelled quantitative transition systems as a general framework for combining qualitative and quantitative analysis. We define state-metrics as a natural...
191
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...
221
click to vote
ENTCS
2006
15 years 6 months ago
2006
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...