491 search results - page 33 / 99 » Linear Quantifier Elimination |
ICIP
1999
IEEE
14 years 10 months ago
1999
IEEE
Synthetic aperture radar SAR systems are mounted on airplanesand satellites, which have limited downlink and storage capacity, yet SAR image sequences may be produced at rates of ...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— This work provides a framework for the observability analysis of linear networked dynamic systems (NDS). A distinction is made between NDS that have homogeneous agent d...
ISCAS
2008
IEEE
14 years 3 months ago
2008
IEEE
—This paper shows how the relative size of components can be used to increase matching performance – saving orders of magnitude in component area. The relative size information...
JAR
2006
13 years 8 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
AISC
2004
Springer
14 years 2 months ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...