2016 search results - page 112 / 404 » Distributed error confinement |
85
Voted
PDCAT
2005
Springer
15 years 6 months ago
2005
Springer
Chocolat/SMV is a translator that takes a CafeOBJ specification of a transition system called an OTS and generates an SMV specification of a finite version of the OTS. The prim...
97
Voted
DCOSS
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we examine several localization algorithms and evaluate their robustness to attacks where an adversary attenuates or amplifies the signal strength at one or more lan...
62
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
A lower bound on the minimum mean-squared error (MSE) in a Bayesian estimation problem is proposed in this paper. This bound utilizes a well-known connection to the deterministic e...
83
Voted
MOC
2002
15 years 12 days ago
2002
This paper presents the limit laws of discrepancies defined via exponential sums, and algorithms (with error bounds) to approximate the corresponding distribution functions. The re...
97
Voted
CRYPTOLOGIA
2010
14 years 10 months ago
2010
This paper presents an improved protocol for Internet voting that allows recasting of ballots to eliminate voting errors, encourages early voting and provides an opportunity for c...