365 search results - page 1 / 73 » First-order logical filtering |
KR
2004
Springer
13 years 11 months ago
2004
Springer
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of eve...
ICIP
2007
IEEE
14 years 8 months ago
2007
IEEE
In this paper, we present the structure and design method for a firstorder linear-phase filter bank (FOLPFB) which has unequal filter lengths in its synthesis bank (UFLPFB). A FOL...
SIAMNUM
2010
13 years 1 months ago
2010
The quantization based filtering method (see [13], [14]) is a grid based approximation method to solve nonlinear filtering problems with discrete time observations. It relies on o...
CADE
1997
Springer
13 years 10 months ago
1997
Springer
JSYML
2002
13 years 6 months ago
2002
An interpolation theorem holds for many standard modal logics, but first order S5 is a prominent example of a logic for which it fails. In this paper it is shown that a first orde...