2263 search results - page 125 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
197
click to vote
JMLR
2002
15 years 5 months ago
2002
Recently, sample complexity bounds have been derived for problems involving linear functions such as neural networks and support vector machines. In many of these theoretical stud...
189
Voted
CORR
2004
Springer
15 years 5 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
171
click to vote
UAI
2000
15 years 7 months ago
2000
The Support Vector Machine (SVM) of Vapnik [9] has become widely established as one of the leading approaches to pattern recognition and machine learning. It expresses predictions...
158
click to vote
DAC
2006
ACM
16 years 6 months ago
2006
ACM
or Abstraction for the Functional Verification of FPGAs Guy Dupenloup, Thierry Lemeunier, Roland Mayr Altera Corporation 101 Innovation Drive San Jose, CA 95134 1-408-544-8672 {gdu...
143
click to vote
ALT
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. A variant of iterative learning in the limit (cf. [LZ96]) is studied when a learner gets negative examples refuting conjectures containing data in excess of the target la...