6020 search results - page 315 / 1204 » A New Approach to Model Counting |
188
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
We discuss the relationship between the discriminative training of Gaussian models and the maximum entropy framework for log-linear models. Observing that linear transforms leave ...
182
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
We propose a new method for fitting mixture models that performs component selection and does not require external initialization. The novelty of our approach includes: a minimum ...
156
click to vote
MEMOCODE
2005
IEEE
16 years 9 days ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
213
click to vote
AIMDM
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we describe a new approach to computer-based health promotion, based on a conversational model. We base our model on a collection of human-human email dialogues conce...
184
click to vote
NIPS
2008
15 years 8 months ago
2008
Extensive labeled data for image annotation systems, which learn to assign class labels to image regions, is difficult to obtain. We explore a hybrid model framework for utilizing...