317 search results - page 15 / 64 » Real Recursive Functions and Real Extensions of Recursive Fu... |
112
click to vote
ESANN
2006
15 years 1 months ago
2006
We present an extension to a recent method for learning of nonlinear manifolds, which allows to incorporate general cost functions. We focus on the -insensitive loss and visually d...
126
click to vote
MICCAI
2009
Springer
16 years 7 days ago
2009
Springer
In functional Magnetic Resonance Imaging (fMRI) data analysis, normalization of time series is an important and sometimes necessary preprocessing step in many widely used methods. ...
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
109
click to vote
PPSN
1998
Springer
15 years 3 months ago
1998
Springer
In previous work, we have investigated real coded genetic algorithms with several types of multi-parent recombination operators and found evidence that multi-parent recombination w...
ACSD
2005
IEEE
15 years 5 months ago
2005
IEEE
The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules...