8 search results - page 2 / 2 » amai 2010 |
109
Voted
AMAI
2010
Springer
14 years 11 months ago
2010
Springer
The study of the interplay between belief and probability can be posed in a geometric framework, in which belief and plausibility functions are represented as points of simplices i...
113
Voted
AMAI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
122
Voted
AMAI
2010
Springer
14 years 11 months ago
2010
Springer
Constraints and quantitative preferences, or costs, are very useful for modelling many real-life problems. However, in many settings, it is difficult to specify precise preference ...