3892 search results - page 182 / 779 » Machine Learning for Intelligent Systems |
165
Voted
CADE
2008
Springer
16 years 6 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
152
click to vote
ICTAI
2008
IEEE
16 years 25 days ago
2008
IEEE
It is difficult to learn good classifiers when training data is missing attribute values. Conventional techniques for dealing with such omissions, such as mean imputation, general...
152
click to vote
ICML
1997
IEEE
16 years 7 months ago
1997
IEEE
This paper describes a new approach to automatically learning linguistic knowledge for spelling correction. A major feature of this approach is the fact that the acquired knowledg...
145
click to vote
AAAI
2007
15 years 8 months ago
2007
We present a novel approach to solving Quantified Boolean Formulas (QBF) that combines a search-based QBF solver with machine learning techniques. We show how classification met...
194
click to vote
CLIN
2001
15 years 7 months ago
2001
We describe a Named Entity Recognition system for Dutch that combines gazetteers, handcrafted rules, and machine learning on the basis of seed material. We used gazetteers and a c...