2006 search results - page 273 / 402 » Systematic Component Adaptation |
157
Voted
TACAS
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
136
Voted
JDCTA
2010
14 years 9 months ago
2010
Preprocessing, a major component of Character Recognition System, has direct effect on the recognition system by its performance. Using wavelet transform, this paper mainly focuse...
67
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
Acoustic feedback limits the gain provided by hearing aids. Digital hearing aids identify acoustic feedback signals and cancel them continuously in a closed loop with an adaptive ...
161
Voted
ECSA
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. An important step in achieving robustness to run-time faults is the ability to detect and repair problems when they arise in a running system. Effective fault detection a...
144
Voted
IACR
2011
14 years 2 months ago
2011
We put forth a framework for expressing security requirements from interactive protocols in the presence of arbitrary leakage. This allows capturing different levels of leakage to...