1208 search results - page 112 / 242 » On Counting Generalized Colorings |
CAV
2008
Springer
13 years 11 months ago
2008
Springer
Requirements of reactive systems are usually specified by classifying system executions as desirable and undesirable. To specify prioritized requirements, we propose to associate a...
MVA
2007
13 years 10 months ago
2007
In this paper, we first generalize a recent statistical color image segmentation algorithm [5] to arbitrary graphs, and report its performance for 2D images, 3D meshes and volume...
VMV
2008
13 years 10 months ago
2008
In this paper, a dynamic multi-modal fusion scheme for tracking multiple targets with Monte-Carlo filters is presented, with the goal of achieving robustness by combining complime...
VMV
2008
13 years 10 months ago
2008
We present in this paper a GPU-accelerated particle filter based on pixel-level segmentation and matching, for real-time object tracking. The proposed method achieves real-time pe...
DAM
2008
13 years 9 months ago
2008
We study a variant of the pickup-and-delivery problem (PDP) in which the objects that have to be transported can be reloaded at most d times, for a given d N. This problem is kno...