5510 search results - page 372 / 1102 » Mathematics |
297
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
166
click to vote
STOC
2009
ACM
16 years 7 months ago
2009
ACM
We show by means of several examples that robust statistical estimators present an excellent starting point for differentially private estimators. Our algorithms use a new paradig...
265
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages that treat probability distributions as primit...
228
click to vote
ICPR
2010
IEEE
16 years 1 months ago
2010
IEEE
The aim of this paper is to propose tools for statistical analysis of shape families using morphological operators. Given a series of shape families (or shape categories), the appr...
145
click to vote
RECOMB
2010
Springer
16 years 1 months ago
2010
Springer
We introduce the first polynomial-time phylogenetic reconstruction algorithm under a model of sequence evolution allowing insertions and deletions—or indels. Given appropriate ...