1547 search results - page 60 / 310 » Randomized Variable Elimination |
87
Voted
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
In this work, we investigate the ability of a Chunking GA (ChGA) to reduce the size of variable length chromosomes and control bloat. The ChGA consists of a standard genetic algori...
136
Voted
SAT
2004
Springer
15 years 8 months ago
2004
Springer
We present a novel expansion based decision procedure for quantified boolean formulas (QBF) in conjunctive normal form (CNF). The basic idea is to resolve existentially quantifie...
119
click to vote
CADE
2008
Springer
15 years 4 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
123
Voted
MICCAI
2004
Springer
16 years 3 months ago
2004
Springer
3D Bayesian regularization applied to diffusion tensor MRI is presented here. The approach uses Markov Random Field ideas and is based upon the definition of a 3D neighborhood syst...
147
Voted
JMLR
2010
14 years 9 months ago
2010
Markov Random Fields (MRFs) are an important class of probabilistic models which are used for density estimation, classification, denoising, and for constructing Deep Belief Netwo...