1802 search results - page 13 / 361 » Model-based Theory Combination |
131
Voted
MICAI
2010
Springer
2010
Springer
Combining Neural Networks Based on Dempster-Shafer Theory for Classifying Data with Imperfect Labels
15 years 8 days ago
This paper addresses the supervised learning in which the class membership of training data are subject to uncertainty. This problem is tackled in the framework of the Dempster-Sha...
124
Voted
MKM
2009
Springer
15 years 8 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
CORR
2004
Springer
15 years 1 months ago
2004
Springer
