2263 search results - page 46 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
135
click to vote
LICS
1992
IEEE
15 years 5 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...
110
click to vote
ALT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Support Vector Machines Regression (SVMR) is a learning technique where the goodness of fit is measured not by the usual quadratic loss function (the mean square error),...
187
click to vote
VEE
2012
ACM
13 years 9 months ago
2012
ACM
With the growing adoption of virtualized datacenters and cloud hosting services, the allocation and sizing of resources such as CPU, memory, and I/O bandwidth for virtual machines...
103
click to vote
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
107
click to vote
ALT
2008
Springer
15 years 10 months ago
2008
Springer
Gold’s original paper on inductive inference introduced a notion of an optimal learner. Intuitively, a learner identifies a class of objects optimally iff there is no other lea...