632 search results - page 18 / 127 » Proving Invariants of Functional Programs |
LFCS
1992
Springer
15 years 4 months ago
1992
Springer
A generator program for a computable function (by definition) generates an infinite sequence of programs all but finitely many of which compute that function. Machine learning of ...
102
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
One of central topics of kernel machines in the field of machine learning is a model selection, especially a selection of a kernel or its parameters. In our previous work, we dis...
89
Voted
IJCNN
2006
IEEE
15 years 6 months ago
2006
IEEE
— We present a simple, intuitive argument based on “invariant imbedding” in the spirit of dynamic programming to derive a stagewise second-order backpropagation (BP) algorith...
79
Voted
CL
2007
Springer
15 years 15 days ago
2007
Springer
Semanticsofskeleton-basedparallelprogramminglanguagescomesusuallyastwodistinctitems:afunctionalsemantics,modeling the function computed by the skeleton program, and a parallel sem...
GECCO
2003
Springer
15 years 5 months ago
2003
Springer
Several researchers are using evolutionary search methods to search for test data with which to test a program. The fitness or cost function depends on the test goal but almost in...