2370 search results - page 181 / 474 » The Characterization of Data-Accumulating Algorithms |
MICCAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present an algorithm to generate samples from probability distributions on the space of curves. We view a traditional curve evolution energy functional as a negative l...
161
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
RECOMB
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. This paper presents an algorithm to detect lateral gene transfer (LGT) on the basis of pairwise evolutionary distances. The prediction is made from a likelihood ratio der...
73
Voted
STOC
2006
ACM
15 years 10 months ago
2006
ACM
We prove that every problem in NP that has a zero-knowledge proof also has a zero-knowledge proof where the prover can be implemented in probabilistic polynomial time given an NP ...
156
Voted
SIGMOD
2009
ACM
15 years 10 months ago
2009
ACM
Database workloads consist of mixes of queries that run concurrently and interact with each other. In this paper, we demonstrate that query interactions can have a significant imp...