3156 search results - page 256 / 632 » An address translation simulator |
157
click to vote
ENTCS
2002
15 years 6 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
168
click to vote
IJON
2002
15 years 6 months ago
2002
: A new supervised learning procedure for training RBF networks is proposed. It uses a pair of parallel running Kalman filters to sequentially update both the output weights and th...
159
click to vote
TIT
2002
15 years 6 months ago
2002
In this paper, the influence of a point spectrum on large sample statistics of the autoregressive (AR) spectral estimator is addressed. In particular, the asymptotic distributions ...
143
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
We address in this paper the problem of jointly scheduling hard periodic tasks and soft aperiodic events using the Real-Time Specification for Java (RTSJ). We present the programm...
117
click to vote
JMLR
2010
15 years 1 months ago
2010
This paper addresses multidimensional tuning parameter selection in the context of "train-validate-test" and K-fold cross validation. A coarse grid search over tuning pa...