1414 search results - page 10 / 283 » Combining Intruder Theories |
186
click to vote
FROCOS
2009
Springer
15 years 11 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...
130
click to vote
ICARCV
2002
IEEE
15 years 9 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 ...
112
click to vote
ENTCS
2008
15 years 4 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...
114
click to vote
SEMWEB
2007
Springer
15 years 10 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...
190
click to vote
FROCOS
2011
Springer
14 years 4 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...