3502 search results - page 384 / 701 » From Machine Learning to Machine Reasoning |
180
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
133
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
We present a trainable sequential-inference technique for processes with large state and observation spaces and relational structure. Our method assumes "reliable observation...
145
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
Attribute interactions are the irreducible dependencies between attributes. Interactions underlie feature relevance and selection, the structure of joint probability and classific...
191
click to vote
ECML
2007
Springer
16 years 27 days ago
2007
Springer
The availability of techniques for comparing descriptions has many applications in Artificial Intelligence, ranging from description selection to flexible matching, from instance...
190
Voted
COLT
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we examine on-line learning problems in which the target concept is allowed to change over time. In each trial a master algorithm receives predictions from a large ...