8828 search results - page 1150 / 1766 » Formal methods in practice |
212
click to vote
ACIVS
2008
Springer
16 years 1 months ago
2008
Springer
We propose a novel approach for estimating a depth-map from a pair of rectified stereo images degraded by blur and contrast change. At each location in image space, information is...
149
Voted
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Recently the exact expression for the BER of rectangular QAM with arbitrary code mapping was obtained [1]. It is then natural to ask for the optimal constellation desig...
210
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Joint cooperative processing of transmitted signal from several multiple-input multiple-output (MIMO) base station (BS) antenna heads is considered for users located within a s...
183
click to vote
ICDAR
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents the results of the Handwriting Segmentation Contest that was organized in the context of ICDAR2007. The aim of this contest was to use well established evaluat...
205
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
The ability to query data streams is of increasing importance and has been identified as a crucial element for modern organizations and agencies. This paper identifies a class o...