435 search results - page 18 / 87 » Deriving Filtering Algorithms from Constraint Checkers |
DLOG
2004
13 years 9 months ago
2004
We show how a tableaux algorithm for SHIQ can be extended to support role boxes that include range and domain axioms, prove that the extended algorithm is still a decision procedur...
TSP
2008
13 years 8 months ago
2008
In multitarget scenarios, kinematic constraints from the interaction of targets with their environment or other targets can restrict target motion. Such motion constraint informati...
ASAP
1997
IEEE
14 years 20 days ago
1997
IEEE
This paper presents how to find optimized buffer size for VLSI architectures of full-search block matching algorithms. Starting from the DG (dependency graph) analysis, we focus i...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— In this paper we deal with carrier frequency estimation for filter-bank multicarrier burst transmission over timefrequency selective fading channels. Three open-loop a...
TIP
1998
13 years 8 months ago
1998
In this paper, we propose a general framework for studying a class of weighted highpass filters. Our framework, based on a multiscale signal decomposition, allows us to study a w...