9067 search results - page 841 / 1814 » Adaptive Model Checking |
191
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
240
click to vote
MKWI
2008
15 years 9 months ago
2008
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...
200
click to vote
CSDA
2006
15 years 7 months ago
2006
A new procedure for estimating the mean process of a doubly stochastic Poisson process is introduced. The proposed estimation is based on monotone piecewise cubic interpolation of...
225
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
A neural network with fixed topology can be regarded as a parametrization of functions, which decides on the correlations between functional variations when parameters are adapted...
180
click to vote
JMLR
2010
15 years 2 months ago
2010
Selecting conveniently the proposal kernel and the adjustment multiplier weights of the auxiliary particle filter may increase significantly the accuracy and computational efficie...