1802 search results - page 10 / 361 » Model-based Theory Combination |
IANDC
2006
13 years 9 months ago
2006
Many approaches to deciding the satisfiability of quantifier free formulae with respect to a background theory T -- also known as Satisfiability Modulo Theory, or SMT
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
The Dempster-Shafer Theory of Evidence is an established method for combining different sources of information. In this paper we explore ways to improve the combination performanc...
JIIS
2002
13 years 8 months ago
2002
In this paper we propose a model for relevance feedback. Our model combines evidence from user's relevance assessments with algorithms describing how words are used within do...
FROCOS
2009
Springer
14 years 3 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 1 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 ...