2219 search results - page 262 / 444 » Dynamic Programming and Graph Algorithms in Computer Vision |
118
click to vote
STTT
2010
15 years 1 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
214
click to vote
BIRTHDAY
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Risk analysis has been used to manage the security of systems for several decades. However, its use has been limited to offline risk computation and manual response. In c...
123
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
String comparison is a critical issue in many application domains, including speech recognition, contents search, and bioinformatics. The similarity between two strings of lengths...
126
click to vote
MM
2006
ACM
15 years 9 months ago
2006
ACM
We present a framework to synchronize pop music to corresponding text lyric. We refine line level alignment achievable by existing work to syllabic level by using a dynamic progra...
124
click to vote
ICPP
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—We present LeWI: a novel load balancing algorithm, that can balance applications with very different patterns of imbalance. Our algorithm can balance fine grain imbalan...