5851 search results - page 209 / 1171 » Coordination as a Direct Process |
174
click to vote
CIE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
184
click to vote
VLSISP
2011
15 years 1 months ago
2011
We introduce a novel beamspace processing structure that can be used for narrowband or wideband sources located either in nearfield or farfield of a sensor array. Main features o...
170
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
Using the concepts of two-dimensional Hilbert transform and analytic signal, we construct a new quaternion wavelet transform (QWT). The QWT forms a tight frame and can be efficien...
159
click to vote
ICIP
1999
IEEE
16 years 8 months ago
1999
IEEE
A dedicated hardware system is developed for a recent class of nonlinear hybrid filters called Order StatisticsRational Hybrid Filters (OSRHF). The performance of these filters is...
141
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Selecting a region of interest (ROI) within unsegmented volume data is one of the fundamental operations in volume data processing and analysis, yet it is difficult to perform the...