950 search results - page 35 / 190 » Constraint Based Resilience Analysis |
192
click to vote
PROCEDIA
2011
14 years 6 months ago
2011
We report the first evaluation of Constraint Satisfaction as a computational framework for solving closest string problems. We show that careful consideration of symbol occurrenc...
124
click to vote
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...
109
Voted
EKAW
2004
Springer
15 years 9 months ago
2004
Springer
Among the various tasks involved in building a Bayesian network for a real-life application, the task of eliciting all probabilities required is generally considered the most daunt...
119
click to vote
IDEAL
2004
Springer
15 years 9 months ago
2004
Springer
This paper defines a constrained Artificial Neural Network (ANN) that can be employed for highly-dependable roles in safety critical applications. The derived model is based upon t...
108
Voted
AUTOMATICA
2000
15 years 3 months ago
2000
: For a large class of bounded-error estimation problems, the posterior feasible set 5 for the parameters can be dened by nonlinear inequalities. The set-inversion approach combine...