2263 search results - page 111 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
104
click to vote
ICALT
2007
IEEE
15 years 8 months ago
2007
IEEE
The increase of e-learning led to the development of Adaptive Educational Hypermedia Systems (AEHS). The last few years a new research stream was revealed which combines the funct...
ML
2007
ACM
15 years 1 months ago
2007
ACM
The problem of disjoint sets, also known as union-find, consists in maintaining a partition of a finite set within a data structure. This structure provides two operations: a fu...
105
click to vote
ICML
2000
IEEE
16 years 2 months ago
2000
IEEE
This paper introduces a foundation for inductive learning based on the use of higher-order logic for knowledge representation. In particular, the paper (i) provides a systematic i...
132
click to vote
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
118
click to vote
ICML
2005
IEEE
16 years 2 months ago
2005
IEEE
How to assign appropriate weights to terms is one of the critical issues in information retrieval. Many term weighting schemes are unsupervised. They are either based on the empir...