2263 search results - page 135 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
170
click to vote
ICDM
2009
IEEE
16 years 15 days ago
2009
IEEE
—A fast online algorithm OnlineSVMR for training Ramp-Loss Support Vector Machines (SVMR s) is proposed. It finds the optimal SVMR for t+1 training examples using SVMR built on t...
188
click to vote
ICFP
2012
ACM
13 years 8 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
167
click to vote
RSEISP
2007
Springer
15 years 12 months ago
2007
Springer
This paper concerns the development of a new direction in machine learning, called natural induction, which requires from computergenerated knowledge not only to have high predicti...
156
click to vote
ICML
2006
IEEE
16 years 6 months ago
2006
IEEE
We present a simple statistical model of molecular function evolution to predict protein function. The model description encodes general knowledge of how molecular function evolve...
176
click to vote
COLT
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We develop a new error bound for transductive learning algorithms. The slack term in the new bound is a function of a relaxed notion of transductive stability, which meas...