3342 search results - page 67 / 669 » Symbolic Robustness Analysis |
149
click to vote
ISCAS
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper aims to design robust correlation-based watermarking methods for images. We rst present a model of watermark embedding and extracting processes and carry out their ana...
202
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
156
click to vote
CHARME
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
171
click to vote
NFM
2011
15 years 21 days ago
2011
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
176
click to vote
JCM
2006
15 years 5 months ago
2006
This paper studies the in-band interference of time-hopping spread spectrum (TH-SS) ultra-wideband (UWB) signals to narrowband receivers. Based on the analysis of general power spe...