Abstract: This paper deals with foreground object segmentation in the context of moving camera sequences. The method that we propose computes a foreground object segmentation in a MAP-MRF framework ...
Abstract: In this paper, we present a novel MaxSAT-based technique to compute Maximum Probability Minimal Cut Sets (MPMCSs) in fault trees. We model the MPMCS problem as a Weighted Partial MaxSAT ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback