9067 search results - page 638 / 1814 » Adaptive Model Checking |
174
click to vote
DIS
2004
Springer
16 years 20 days ago
2004
Springer
The two main challenges typically associated with mining data streams are concept drift and data contamination. To address these challenges, we seek learning techniques and models ...
209
click to vote
ESSMAC
2003
Springer
16 years 14 days ago
2003
Springer
Gaussian Process prior models, as used in Bayesian non-parametric statistical models methodology are applied to implement a nonlinear adaptive control law. The expected value of a...
184
Voted
IASTEDSE
2004
15 years 8 months ago
2004
In the development of software with evolving requirements, activities of requirements-engineering and management are present through the whole software development process and aff...
214
Voted
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
With the advent of cognitive radio technology, new paradigms for spectrum access can achieve near-optimal spectrum utilisation by letting each user sense and utilise available s...
164
click to vote
LCPC
2007
Springer
16 years 1 months ago
2007
Springer
The OpenMP standard was conceived to parallelize dense array-based applications, and it has achieved much success with that. Recently, a novel tasking proposal to handle unstructur...