1414 search results - page 10 / 283 » Combining Intruder Theories |
FROCOS
2009
Springer
14 years 4 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
ICARCV
2002
IEEE
14 years 2 months ago
2002
IEEE
Multi-classifier combination based on Dempster-Shafer theory of evidence has demonstrated it’s superior performance. In the approach based on Dempster-Shafer theory, the basic ...
ENTCS
2008
13 years 10 months ago
2008
We present a generic congruence closure algorithm for deciding ground formulas in the combination of the theory of equality with uninterpreted symbols and an arbitrary built-in so...
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we propose a new tool called OWL-CM (OWL Combining Matcher) that deals with uncertainty inherent to ontology mapping process. On the one hand, OWL-CM uses the techniq...
FROCOS
2011
Springer
12 years 9 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...