Sciweavers

1465 search results - page 121 / 293
» Making the Correct Mistakes
Sort
View
CORR
2011
Springer
155views Education» more  CORR 2011»
15 years 1 months ago
On the Zero-Error Capacity Threshold for Deletion Channels
—We consider the zero-error capacity of deletion channels. Specifically, we consider the setting where we choose a codebook C consisting of strings of n bits, and our model of t...
Ian A. Kash, Michael Mitzenmacher, Justin Thaler, ...
MCFNS
2010
88views more  MCFNS 2010»
15 years 1 months ago
The role of misclassification in estimating proportions and an estimator of misclassification
Dot grids are often used to estimate the proportion of land cover belonging to some class in an aerial photograph. Interpreter misclassification is an often-ignored source of error...
Patrick L. Zimmerman, Greg C. Liknes
CORR
2011
Springer
180views Education» more  CORR 2011»
15 years 22 days ago
A Formalization of Polytime Functions
Abstract. We present a deep embedding of Bellantoni and Cook’s syntactic characterization of polytime functions. We prove formally that it is correct and complete with respect to...
Sylvain Heraud, David Nowak
LR
2011
108views more  LR 2011»
14 years 9 months ago
Modeling production networks with discrete processes by means of communities of autonomous units
Abstract Communities of autonomous units are devices for the visual modeling of interactive logistic processes. The framework is founded on rule-based graph transformation and allo...
Hans-Jörg Kreowski, Sabine Kuske, Caroline vo...
PODC
2011
ACM
14 years 9 months ago
A nonblocking set optimized for querying the minimum value
We present the Mindicator, a set implementation customized for shared memory runtime systems. The Mindicator is optimized for constant-time querying of its minimum element, while ...
Yujie Liu, Michael F. Spear