845 search results - page 25 / 169 » Connecting Many-Sorted Theories |
APAL
2006
13 years 8 months ago
2006
We introduce the oak property of first order theories, which is a syntactical condition that we show to be sufficient for a theory not to have universal models in cardinality whe...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we examine the problem of overcomplete representations and provide new insights into the problem of stable recovery of sparse solutions in noisy environments. We es...
MCSS
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. We give a further elaboration of the fundamental connections between Lax-Phillips scattering, conservative input/state/output linear systems and Sz.-Nagy-Foias model theo...
SCALESPACE
2001
Springer
14 years 27 days ago
2001
Springer
We define mutually consistent scale-space theories for scalar and vector images. Consistency pertains to the connection between the already established scalar theory and that for ...
ADBIS
2004
Springer
14 years 6 days ago
2004
Springer
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...