2661 search results - page 387 / 533 » Model Checking Performability Properties |
TEC
2002
13 years 10 months ago
2002
We present an optimization algorithm based on a model of bacterial chemotaxis. The original biological model is used to formulate a simple optimization algorithm, which is evaluate...
SIMPRA
2008
13 years 9 months ago
2008
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...
TCOM
2010
13 years 8 months ago
2010
—The impact of antenna mutual coupling on signal correlation in multi-antenna receivers has been studied in great detail. By contrast, there has been little work on how mutual co...
CAV
2010
Springer
13 years 8 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
The structural similarity (SSIM) index has been found to be a good indicator of perceived image quality. In this paper, we propose a rate-SSIM optimization scheme for mode selecti...