3820 search results - page 502 / 764 » Bounded Model Debugging |
155
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper adresses the variance quantification problem for system identification based on the prediction error framework. The role of input and model class selection for the auto-...
104
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract-- This paper deals with the mean square stabilization problem for multi-input networked systems via single packet or multiple packets transmission, where the unreliability...
134
click to vote
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer
Given an arbitrary intruder deduction capability, modeled as an inference system S and a protocol, we show how to compute an inference system bS such that the security problem for ...
122
click to vote
COLT
2004
Springer
15 years 7 months ago
2004
Springer
We show that forms of Bayesian and MDL inference that are often applied to classification problems can be inconsistent. This means that there exists a learning problem such that fo...
122
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...