157 search results - page 3 / 32 » Interpolation and Symbol Elimination |
IANDC
2010
13 years 3 months ago
2010
We give two generic proofs for cut elimination in propositional modal logics, interpreted over coalgebras. We first investigate semantic coherence conditions between the axiomati...
ISBI
2007
IEEE
13 years 11 months ago
2007
IEEE
We identify a cause for interpolation artifacts in objective functions by observing that the energy of interpolated and translated 2 sequences oscillates with respect to the trans...
VMCAI
2007
Springer
13 years 11 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
ICC
2008
IEEE
13 years 11 months ago
2008
IEEE
— This paper introduces low-complexity block codes, termed pattern-eliminating codes (PEC), which achieve a potentially large performance improvement over channels with residual ...
AAECC
1999
Springer
13 years 5 months ago
1999
Springer
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...