2312 search results - page 379 / 463 » Invariance in Property Testing |
RTCSA
2003
IEEE
14 years 3 months ago
2003
IEEE
Current hard real-time technologies are unable to support a new class of applications that have real-time constraints but with dynamic request arrivals and unpredictable resource r...
AVBPA
2003
Springer
14 years 3 months ago
2003
Springer
In general, the iris recognition systems have used the wavelet transform as feature extraction techniques. Since the wavelet transform does not have the shift-invariant property, t...
SACMAT
2010
ACM
14 years 2 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
ICISP
2010
Springer
14 years 2 months ago
2010
Springer
High-resolution nuclear magnetic resonance (NMR) spectra contain important biomarkers that have potentials for early diagnosis of disease and subsequent monitoring of its progressi...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
— Due to the uncertainty in the forecasting of load patterns, security dispatching finds the generation pattern, which is the most economic and passes all N − 1 contingencies ...