2988 search results - page 453 / 598 » Experiments with a New Boosting Algorithm |
DAC
2004
ACM
15 years 11 months ago
2004
ACM
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...
DAC
2006
ACM
15 years 11 months ago
2006
ACM
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the representation of combinational logic using And-Inve...
MICCAI
2007
Springer
15 years 11 months ago
2007
Springer
In Diffusion Tensor Imaging (DTI), differently oriented fiber bundles inside one voxel are incorrectly modeled by a single tensor. High Angular Resolution Diffusion Imaging (HARDI)...
ICML
2006
IEEE
15 years 10 months ago
2006
IEEE
Semi-naive Bayesian classifiers seek to retain the numerous strengths of naive Bayes while reducing error by weakening the attribute independence assumption. Backwards Sequential ...
ICML
2004
IEEE
15 years 10 months ago
2004
IEEE
Many applications in text and speech processing require the analysis of distributions of variable-length sequences. We recently introduced a general kernel framework, rational ker...