3502 search results - page 114 / 701 » From Machine Learning to Machine Reasoning |
149
click to vote
JAR
2006
15 years 4 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
124
click to vote
ALT
1998
Springer
15 years 8 months ago
1998
Springer
Learning from positive examples occurs very frequently in natural learning. The PAC learning model of Valiant takes many features of natural learning into account, but in most case...
147
click to vote
ICALT
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we examine the semantic aspects of learning from both pedegogical and technological points of view. We suggest that if semantics are to fullfil their potential in th...
116
click to vote
ECTEL
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents a quantitative analysis of the reuse of learning objects in real world settings. The data for this analysis was obtained from three sources: Connexions' mo...
156
click to vote
ENTCS
2008
15 years 4 months ago
2008
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...