9067 search results - page 599 / 1814 » Adaptive Model Checking |
276
click to vote
DSVIS
2008
Springer
15 years 9 months ago
2008
Springer
In the last years User Interface Description Languages (UIDL) appeared as a suitable solution for developing multi-target user interfaces. By applying appropriate model transformat...
213
click to vote
SIAMSC
2008
15 years 7 months ago
2008
A multilevel adaptive aggregation method for calculating the stationary probability vector of an irreducible stochastic matrix is described. The method is a special case of the ada...
193
click to vote
IAT
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--The paper proposes a biologically-inspired cognitive agent model, known as FALCON-X, based on an integration of the Adaptive Control of Thought (ACT-R) architecture and a...
175
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
The Stack algorithm, which is a best-first search algorithm widely used in speech recognition, is modified for application to the problem of recognizing machine printed text in th...
181
click to vote
ICPR
2000
IEEE
16 years 8 months ago
2000
IEEE
The deconvolution of blurred and noisy satellite images is an ill-posed inverse problem, which can be regularized within a Bayesian context by using an a priori model of the recon...