62 search results - page 4 / 13 » Ground Interpolation for Combined Theories |
WRLA
2010
13 years 4 months ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
VMCAI
2009
Springer
14 years 28 days ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
CAV
2008
Springer
13 years 8 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
DSP
2007
13 years 6 months ago
2007
This paper presents a preliminary knowledge based approach to Space-Time Adaptive Processing (STAP) for ground moving target indication from an airborne platform. The KB-processor...
COLING
2010
13 years 1 months ago
2010
We present a new method, based on graph theory, for bilingual lexicon extraction without relying on resources with limited availability like parallel corpora. The graphs we use re...