9067 search results - page 787 / 1814 » Adaptive Model Checking |
183
click to vote
ECOOP
2006
Springer
15 years 11 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
207
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract--Discrete multitone modulation (DMT) systems exploit the capabilities of orthogonal subcarriers to cope efficiently with narrowband interference, high frequency attenuatio...
191
click to vote
JCNS
2008
15 years 7 months ago
2008
Adaptation of the spike-frequency response to constant stimulation, as observed on various timescales in many neurons, reflects high-pass filter properties of a neuron's tran...
210
click to vote
SAC
2004
ACM
16 years 1 months ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...
205
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper presents an integrated direct/indirect adaptive robust control (DIARC) scheme for a class of nonlinear systems preceded by unknown non-symmetric, non-equal slope dea...