2663 search results - page 134 / 533 » How to Choose a Timing Model |
183
click to vote
RTSS
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
158
click to vote
NN
2008
Springer
15 years 6 months ago
2008
Springer
Optimally designing the location of training input points (active learning) and choosing the best model (model selection) are two important components of supervised learning and h...
168
click to vote
EDM
2008
15 years 7 months ago
2008
Using data from an existing pre-algebra computer-based tutor, we analyzed the covariance of item-types with the goal of describing a more effective way to assign skill labels to it...
155
click to vote
CSDA
2007
15 years 6 months ago
2007
The problem of choosing a good parameter setting for a better generalization performance in a learning task is the so-called model selection. A nested uniform design (UD) methodol...
194
click to vote
JPDC
2007
15 years 6 months ago
2007
Client interactions with modern web-accessible network services are typically organized into sessions involving multiple requests that read and write shared application data. Ther...