5619 search results - page 203 / 1124 » A Region Inference Algorithm |
165
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...
114
click to vote
CONSTRAINTS
2008
15 years 2 months ago
2008
Abstract. A very challenging problem in the genetics domain is to infer haplotypes from genotypes. This process is expected to identify genes affecting health, disease and response...
136
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
We propose a unified framework for deriving and studying soft-in soft-out (SISO) detection in multiple-access channels using the concept of variational inference. The proposed fram...
137
click to vote
JAIR
2011
14 years 9 months ago
2011
Previous studies have demonstrated that encoding a Bayesian network into a SAT formula and then performing weighted model counting using a backtracking search algorithm can be an ...
124
click to vote
JMLR
2010
14 years 9 months ago
2010
Round-based games are an instance of discrete planning problems. Some of the best contemporary game tree search algorithms use random roll-outs as data. Relying on a good policy, ...