2767 search results - page 106 / 554 » Universal Exponentiation Algorithm |
FOCS
2009
IEEE
15 years 4 months ago
2009
IEEE
In many settings the power of truthful mechanisms is severely bounded. In this paper we use randomization to overcome this problem. In particular, we construct an FPTAS for multi-...
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...
BIBM
2007
IEEE
15 years 1 months ago
2007
IEEE
Different databases of metabolic pathways assign pathways different keys. For this reason, it is difficult to automatically compare pathways across databases. We introduce an algo...
CORR
2011
Springer
14 years 1 months ago
2011
Springer
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
109
click to vote
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
The mean shift algorithm, which is a nonparametric density
estimator for detecting the modes of a distribution on a
Euclidean space, was recently extended to operate on analytic
...