11394 search results - page 464 / 2279 » Error-Correcting Data Structures |
216
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...
213
click to vote
TIP
2011
15 years 1 months ago
2011
We propose a prediction technique that is geared toward forming successful estimates of a signal based on a correlated anchor signal that is contaminated with complex interference...
148
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...
248
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
We address the problem of weakly supervised semantic segmentation. The training images are labeled only by the classes they contain, not by their location in the image. On test im...
314
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
Navier’s equations modelling linear elastic solid deformations are embedded within an Extended Kalman Filter (EKF) to compute a sequential Bayesian estimate for the Non-Rigid St...