9067 search results - page 836 / 1814 » Adaptive Model Checking |
228
click to vote
DMS
2008
15 years 9 months ago
2008
In this paper I propose a model for situated information processing based on a set of layers, each related to a different processing phase and to a different context type. The mod...
166
Voted
AIPS
2006
15 years 9 months ago
2006
We view dynamic scheduling as a sequential decision problem. Firstly, we introduce a generalized planning operator, the stochastic task model (STM), which predicts the effects of ...
172
click to vote
ESANN
2004
15 years 9 months ago
2004
Abstract. A well-known result by Stein shows that regularized estimators with small bias often yield better estimates than unbiased estimators. In this paper, we adapt this spirit ...
182
Voted
WICSA
2001
15 years 9 months ago
2001
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) ...
237
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
We describe a hidden Markov modeling approach to multiple change-points that has attractive computational and statistical properties. This approach yields explicit recursive filter...