10670 search results - page 300 / 2134 » Required Information Release |
179
click to vote
TOPLAS
2002
15 years 7 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
319
click to vote
AROBOTS
2011
15 years 2 months ago
2011
— To effectively navigate in their environments and accurately reach their target locations, mobile robots require a globally consistent map of the environment. The problem of le...
182
click to vote
TCSV
2010
15 years 2 months ago
2010
During the past ten years, Wyner-Ziv video coding (WZVC) has gained a lot of research interests because of its unique characteristics of "simple encoding, complex decoding&quo...
271
click to vote
ICCV
2009
IEEE
16 years 6 months ago
2009
IEEE
Mutual information (MI) is a popular similarity metric
for multimodality image registration purpose. However,
it is negatively influenced by artifacts due to interpolation
effec...
251
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Efficient design of cognitive radio networks calls for secondary users implementing adaptive resource allocation, which requires knowledge of the channel state information in ord...