1737 search results - page 23 / 348 » On Interpolation in Existence Logics |
245
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— A decentralized sensor positioning algorithm is proposed using an adaptive weighted-interpolation method. The proposed method utilizes in-network processing among sensors to co...
169
click to vote
CLIMA
2010
15 years 8 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
203
click to vote
TSP
2011
15 years 1 months ago
2011
—This work proposes a blind adaptive reduced-rank scheme and constrained constant-modulus (CCM) adaptive algorithms for interference suppression in wireless communications system...
155
click to vote
TABLEAUX
2005
Springer
16 years 4 days ago
2005
Springer
We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are simi...
152
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Distributed Video Coding (DVC) is a coding paradigm that gives the decoder the task to exploit the source statistics to achieve efficient compression. Current approaches to DVC rel...