1066 search results - page 150 / 214 » Computing Private Set Operations with Linear Complexities |
FOSSACS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
While the research into MIMO communications algorithms have reached levels of development that show important wireless systems performance improvements, the development of DSP sys...
116
click to vote
Publication
Modern urban regions are highly complex entities. Despite the difficulty of modeling every relevant aspect of an urban region, researchers have produced a rich variety of models de...
ICIP
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a method for the reconstruction of a regularlysampled image from its irregularly-spaced samples. Such reconstruction is often needed in image processing and co...
65
Voted
ICIP
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we propose a fast image deconvolution algorithm that combines adaptive block thresholding and Vaguelet-Wavelet Decomposition. The approach consists in first denoisi...