2316 search results - page 76 / 464 » The many forms of hypercomputation |
148
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Efficient implementations of DPLL with the addition of clause learning are the fastest complete Boolean satisfiability solvers and can handle many significant real-world problem...
172
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: Estimation of allele frequency is of fundamental importance in population genetic analyses and in association mapping. In most studies using next-generation sequencing...
180
click to vote
PODC
2011
ACM
14 years 7 months ago
2011
ACM
This work studies decision problems from the perspective of nondeterministic distributed algorithms. For a yes-instance there must exist a proof that can be verified with a distri...
171
click to vote
AAAI
2011
14 years 4 months ago
2011
Utility elicitation is an important component of many applications, such as decision support systems and recommender systems. Such systems query users about their preferences and ...
289
click to vote
EMMCVPR
2011
Springer
14 years 4 months ago
2011
Springer
Length and area regularization are commonplace for inverse problems today. It has however turned out to be much more difficult to incorporate a curvature prior. In this paper we pr...