892 search results - page 68 / 179 » Strategies in sentential reasoning |
124
click to vote
IGARSS
2009
15 years 2 months ago
2009
We examine the analysis of hyperspectral data produced by the Hyperspectral Core Imager of AngloGold Ashanti. The dimension of the data is reduced using diffusion maps and the dat...
145
click to vote
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents KES (Knowledge Extraction and Summarization), a new knowledge-enhanced approach that builds a case memory out of episodic textual narratives. These na...
142
click to vote
CADE
2009
Springer
16 years 5 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...
135
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
135
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...