12257 search results - page 204 / 2452 » Analysis of Algorithms |
149
Voted
TACAS
2010
Springer
15 years 8 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...
99
Voted
SAC
2009
ACM
15 years 8 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...
118
Voted
SIPS
2008
IEEE
15 years 8 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...
106
click to vote
ACCV
2007
Springer
15 years 8 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...
111
click to vote
IFIP
2007
Springer
15 years 8 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...