1224 search results - page 45 / 245 » Theory decision by decomposition |
125
Voted
CADE
2005
Springer
16 years 1 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...
111
Voted
JOCN
2010
14 years 11 months ago
2010
■ We employ a single-trial correlational MEG analysis technique to investigate early processing in the visual recognition of morphologically complex words. Three classes of affi...
98
Voted
FOIKS
2008
Springer
15 years 2 months ago
2008
Springer
This paper investigates an extension of classification trees to deal with uncertain information where uncertainty is encoded in possibility theory framework. Class labels in data s...
114
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
In this paper, we propose a general cross-layer optimization framework in which we explicitly consider both the heterogeneous and dynamically changing characteristics of delay-sens...
82
Voted
IANDC
2006
15 years 22 days 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