2610 search results - page 160 / 522 » codes 2007 |
145
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
146
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
While feature point recognition is a key component of modern approaches to object detection, existing approaches require computationally expensive patch preprocessing to handle pe...
124
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— This paper presents precoding design for errorrate improvement in closed-loop multiuser orthogonal space-time block-coded (OSTBC) multiple-input multiple-output (MIMO) ...
155
click to vote
ICIP
2007
IEEE
15 years 10 months ago
2007
IEEE
A methodology for complexity scalable video encoding and complexity control within the framework of the H.264/AVC video encoder is presented. To yield good rate-distortion perform...
108
Voted
ICIP
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper carves out an image compression approach that integrates our parameter-assistant inpainting (PAI) technique to exploit the visual redundancy inherent in color-gradation...