Sciweavers

365 search results - page 1 / 73
» First-order logical filtering
Sort
View
KR
2004
Springer
13 years 9 months ago
A First-Order Theory of Communicating First-Order Formulas
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...
Ernest Davis
ICIP
2007
IEEE
14 years 5 months ago
Unequal Length First-Order Linear-Phase Filter Banks for Efficient Image Coding
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...
Yuichi Tanaka, Masaaki Ikehara, Truong Q. Nguyen
SIAMNUM
2010
105views more  SIAMNUM 2010»
12 years 10 months ago
Quantization Based Filtering Method Using First Order Approximation
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...
Afef Sellami
CADE
1997
Springer
13 years 7 months ago
A Practical Integration of First-Order Reasoning and Decision Procedures
Nikolaj Bjørner, Mark E. Stickel, Tom&aacut...
JSYML
2002
114views more  JSYML 2002»
13 years 3 months ago
Interpolation for First Order S5
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...
Melvin Fitting