4895 search results - page 741 / 979 » Functional Quantum Programming |
130
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
—This paper deals with optimized training sequences to estimate multiple-input multiple-output orthogonal frequencydivision multiplexing (MIMO-OFDM) channel states in the presenc...
139
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
We provide a novel formulation for computing median filter with spatial regularization as minimizing a cost function composed of absolute value norms. We turn this cost minimizat...
196
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In image resizing process, preserving structure on an image is important to produce plausible results. We proposed seam merging, a seam-carving-based image resizing method, and a ...
175
click to vote
FOSSACS
2011
Springer
14 years 8 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
222
click to vote
AADA
2011
14 years 4 months ago
2011
We introduce a variational approach to image segmentation based on sparse coverings of image domains by shape templates. The objective function combines a data term that achieves ...