9067 search results - page 757 / 1814 » Adaptive Model Checking |
193
click to vote
ISCAS
1999
IEEE
15 years 12 months ago
1999
IEEE
This paper considers the minimax filtering problem in which the supremum norm of weighted error sequence is minimized. It is shown that the minimax solution is also the optimal Se...
166
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
During the last few years, and in an attempt to provide an ecient alternative to classical methods to designing robot control structures, the behavior-based approach has emerged....
198
click to vote
PODC
2010
ACM
15 years 11 months ago
2010
ACM
Large-scale hosting infrastructures require automatic system anomaly management to achieve continuous system operation. In this paper, we present a novel adaptive runtime anomaly ...
228
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
We consider the design and performance analysis of adaptive modulation and coding (AMC) applied to regenerative dual-hop transmission systems, where a source node communicates with...
169
click to vote
AGILEDC
2004
IEEE
15 years 11 months ago
2004
IEEE
To maximize the velocity of business value delivery, Alistair Cockburn talks of having a process that is "barely sufficient." At Landmark Graphics we developed some guid...