3820 search results - page 296 / 764 » Bounded Model Debugging |
119
click to vote
WSC
2004
15 years 5 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...
164
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a new probabilistic model for the task of image annotation. Our model, which we call sLDA-bin, extends supervised Latent Dirichlet Allocation (sLDA) model to h...
131
Voted
CSDA
2008
15 years 4 months ago
2008
Robust model selection procedures control the undue influence that outliers can have on the selection criteria by using both robust point estimators and a bounded loss function wh...
107
click to vote
ENTCS
2006
15 years 4 months ago
2006
The standard translation of a Bounded Model Checking (BMC) instance into a satisfiability problem, (a.k.a SAT), might produce misleading results in the case when the model under v...
139
Voted
AUTOMATICA
2005
15 years 3 months ago
2005
This paper proposes a quadratic programming (QP) approach to robust model predictive control (MPC) for constrained linear systems having both model uncertainties and bounded distu...