12257 search results - page 204 / 2452 » Analysis of Algorithms |
168
click to vote
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
118
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper b...
138
click to vote
SIPS
2008
IEEE
15 years 10 months ago
2008
IEEE
Belief propagation has become a popular technique for solving computer vision problems, such as stereo estimation and image denoising. However, it requires large memory and bandwi...
127
click to vote
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we systematically study the effect of poorly registered faces on the training and inferring stages of traditional face recognition algorithms. We then propose a nov...
128
click to vote
IFIP
2007
Springer
15 years 10 months ago
2007
Springer
Super-resolution algorithms typically improve the resolution of a video frame by mapping and performing signal processing operations on data from frames immediately preceding and i...