12257 search results - page 204 / 2452 » Analysis of Algorithms |
230
Voted
TACAS
2010
Springer
16 years 2 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...
163
Voted
SAC
2009
ACM
16 years 1 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...
191
click to vote
SIPS
2008
IEEE
16 years 1 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...
198
click to vote
ACCV
2007
Springer
16 years 1 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...
174
Voted
IFIP
2007
Springer
16 years 1 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...