1860 search results - page 221 / 372 » A Temporal Logic of Robustness |
111
click to vote
FUIN
2008
15 years 1 months ago
2008
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
106
click to vote
ICFEM
2010
Springer
15 years 4 days ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
160
Voted
RV
2010
Springer
14 years 11 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
113
click to vote
ICIP
2003
IEEE
16 years 3 months ago
2003
IEEE
Spread Transform (ST) is a quantization watermarking algorithm in which vectors of the wavelet coefficients of a host work are quantized, using one of two dithered quantizers, to ...
ICPR
2008
IEEE
16 years 2 months ago
2008
IEEE
In many real applications traditional superresolution methods fail to provide high-resolution images due to objectionable blur and inaccurate registration of input low-resolution ...