3502 search results - page 15 / 701 » From Machine Learning to Machine Reasoning |
111
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...
111
Voted
ICML
2000
IEEE
16 years 3 months ago
2000
IEEE
We study the problem of learning using combinations of machines. In particular we present new theoretical bounds on the generalization performance of voting ensembles of kernel ma...
114
Voted
ECOI
2010
15 years 1 months ago
2010
We describe a semantic data validation tool that is capable of observing incoming real-time sensor data and performing reasoning against a set of rules specific to the scientific d...
ECML
2005
Springer
15 years 8 months ago
2005
Springer
163
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
This paper proposes a framework for agent-based distributed machine learning and data mining based on (i) the exchange of meta-level descriptions of individual learning processes ...