2219 search results - page 215 / 444 » Dynamic Programming and Graph Algorithms in Computer Vision |
120
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
118
Voted
ICPR
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a novel method for detecting multiple moving targets in real-time from infrared (IR) image sequences collected by an airborne IR camera. This novel method is b...
145
click to vote
PRL
2010
15 years 1 months ago
2010
The GESTALT-System is a stratified architecture for challenging computer vision tasks. This contribution focuses on the 3rd and 4th layer of it – the grouping and decision layer...
126
click to vote
PODC
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we initiate the study of the approximability of the facility location problem in a distributed setting. In particular, we explore a trade-off between the amount of...
142
click to vote
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
In this paper, we explore a hybrid global/local search optimization framework for dynamic voltage scaling in embedded multiprocessor systems. The problem is to find, for a multipr...