4767 search results - page 236 / 954 » Structures for Abstract Rewriting |
177
click to vote
TIP
2008
15 years 6 months ago
2008
Abstract--We propose an algorithm for designing linear equalizers that maximize the structural similarity (SSIM) index between the reference and restored signals. The SSIM index ha...
196
click to vote
IWPC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Correcting software defects accounts for a significant amount of resources such as time, money and personnel. To be able to focus testing efforts where needed the most,...
180
click to vote
PAMI
2010
15 years 4 months ago
2010
Abstract— Given an unstructured collection of captioned images of cluttered scenes featuring a variety of objects, our goal is to simultaneously learn the names and appearances o...
224
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
150
click to vote
MOC
2010
15 years 1 months ago
2010
Abstract. Multiwavelets and multiframelets are of interest in several applications such as numerical algorithms and signal processing, due to their desirable properties such as hig...