1420 search results - page 224 / 284 » Decision Making Using Probabilistic Inference Methods |
CADE
2007
Springer
15 years 4 months ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
102
click to vote
BMCBI
2006
14 years 9 months ago
2006
Background: There have been many algorithms and software programs implemented for the inference of multiple sequence alignments of protein and DNA sequences. The "true" ...
ICCV
2009
IEEE
16 years 2 months ago
2009
IEEE
We introduce a novel parametric BRDF model that can
accurately encode a wide variety of real-world isotropic
BRDFs with a small number of parameters. The key observation
we make...
DAC
2007
ACM
15 years 10 months ago
2007
ACM
We discover significant value-dependent programming energy variations in multi-level cell (MLC) flash memories, and introduce an energy-aware data compression method that minimize...
ICML
2004
IEEE
15 years 10 months ago
2004
IEEE
Traditional non-parametric statistical learning techniques are often computationally attractive, but lack the same generalization and model selection abilities as state-of-the-art...