9067 search results - page 828 / 1814 » Adaptive Model Checking |
193
click to vote
ESANN
2000
15 years 9 months ago
2000
A parametric procedure for the blind inversion of nonlinear channels is proposed, based on a recent method of blind source separation in nonlinear mixtures. Experiments show that ...
195
click to vote
CIIA
2009
15 years 8 months ago
2009
Petroleum industry production systems are highly automatized. In this industry, all functions (e.g., planning, scheduling and maintenance) are automated and in order to remain comp...
203
click to vote
SERVICES
2010
15 years 5 months ago
2010
Abstract--Service-Oriented Architectures address the development of distributed and dynamic service-based applications. Due to the dynamics of their environments, services should b...
218
click to vote
IJON
1998
15 years 7 months ago
1998
Bayesian Kullback Ying—Yang dependence reduction system and theory is presented. Via stochastic approximation, implementable algorithms and criteria are given for parameter lear...
160
click to vote
UM
2009
Springer
16 years 2 months ago
2009
Springer
To provide personalized health recommendations concerning disabled persons, an adaptive system needs a detailed user model that can account for the peculiar aspects of the many exi...