9067 search results - page 328 / 1814 » Adaptive Model Checking |
132
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Self-organizing multi-agent systems (MAS) use different mechanisms to mimic the adaptation exhibited by complex systems situated in unpredictable and dynamic environments. These m...
183
click to vote
CCGRID
2007
IEEE
16 years 1 months ago
2007
IEEE
In the past, efficient parallel algorithms have always been developed specifically for the successive generations of parallel systems (vector machines, shared-memory machines, d...
192
click to vote
ANSS
2004
IEEE
15 years 10 months ago
2004
IEEE
One important issue that has to be taken into account in wireless devices is the energy conservation. Every infrastructureless network must be adaptively self configured particula...
163
click to vote
RAID
2000
Springer
15 years 10 months ago
2000
Springer
Inference methods for detecting attacks on information resources typically use signature analysis or statistical anomaly detection methods. The former have the advantage of attack...
170
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
We recently proposed a new algorithm to perform acoustic model adaptation to noisy environments called Linear Spline Interpolation (LSI). In this method, the nonlinear relationshi...