1414 search results - page 12 / 283 » Combining Intruder Theories |
CADE
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...
TACS
1994
Springer
14 years 1 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
MICAI
2010
Springer
2010
Springer
Combining Neural Networks Based on Dempster-Shafer Theory for Classifying Data with Imperfect Labels
13 years 8 months ago
This paper addresses the supervised learning in which the class membership of training data are subject to uncertainty. This problem is tackled in the framework of the Dempster-Sha...
MKM
2009
Springer
14 years 4 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
FROCOS
2009
Springer
14 years 4 months ago
2009
Springer