940 search results - page 97 / 188 » Local rely-guarantee reasoning |
139
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
In progressive joint source-channel coding of images, experiments show that optimizing rate allocation according to PSNR criteria and according to rate criteria produce essentiall...
150
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
We introduce a family of kernels on discrete data structures within the general class of decomposition kernels. A weighted decomposition kernel (WDK) is computed by dividing objec...
173
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
Based on the insertion of internal and external redundant wires into L-type and U-type wires, an efficient two-phase reliability-driven insertion algorithm is proposed to insert r...
132
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Occlusion is one of the major consequences of the physical image generation process: it occurs when an opaque object partly obscures the view of another object further away from t...
142
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Robotics researchers are often faced with realtime constraints, and for that reason algorithmic and implementation-level optimization can dramatically increase the over...