3044 search results - page 122 / 609 » Linear logical approximations |
ICASSP
2011
IEEE
13 years 22 days ago
2011
IEEE
The paper firstly analyses the error caused by the linear trajectory model and the Fresnel approximation because of the long synthetic aperture time in Geosynchronous Synthetic Ap...
CADE
2012
Springer
11 years 11 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
TLCA
2005
Springer
14 years 2 months ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
ADBIS
2004
Springer
14 years 23 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...
FSS
2010
13 years 6 months ago
2010
In this paper, we introduce a linearity test for fuzzy rule-based models in the framework of time series modeling. To do so, we explore a family of statistical models, the regime ...