151 search results - page 13 / 31 » Machine Learning of Higher Order Programs |
CSCLP
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
DCC
2011
IEEE
13 years 2 months ago
2011
IEEE
We present a new color image compression algorithm for RGB images. In our previous work [6], we presented a machine learning technique to derive a dictionary of orthonormal basis ...
ECTEL
2006
Springer
13 years 11 months ago
2006
Springer
The aim of education is to provide the basis for life long learning and improvement. In this direction, schools and universities offer standard curricula aiming to cover the fundam...
ICML
2005
IEEE
14 years 8 months ago
2005
IEEE
We consider support vector machines for binary classification. As opposed to most approaches we use the number of support vectors (the "L0 norm") as a regularizing term ...
ACL
1997
13 years 8 months ago
1997
Our goal is to identify the features that predict the occurrence and placement of discourse cues in tutorial explanations in order to aid in the automatic generation of explanatio...