9067 search results - page 545 / 1814 » Adaptive Model Checking |
219
click to vote
AMR
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents Prospector, an adaptive meta-search layer, which performs personalized re-ordering of search results. Prospector combines elements from two approaches to adapti...
195
click to vote
OMER
2001
15 years 8 months ago
2001
: Function Block Adapters (FBAs) are new modeling elements, responsible for the connection of UML capsules and function blocks of the IEC 61131-3 standard. FBAs contain an interfac...
189
Voted
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper, we propose a symmetrical EEG/fMRI fusion algorithm which combines EEG and fMRI by means of a common generative model. The use of a total variation (TV) prior as wel...
169
click to vote
ENTCS
2007
15 years 7 months ago
2007
Software coordination and adaptation is intimately related to software (modular) pieces and access points. These pieces (components or services) may be complex, dissimilar (various...
185
click to vote
NPL
2008
15 years 7 months ago
2008
: - This paper addresses an inverse controller design for excitation system with changing parameters and nonsmooth nonlinearities in the actuator. The existence of such nonlinearit...