In this work we propose a fully automated active contours based method for the detection and the segmentation of a moored manufactured object in an underwater image. Detection of o...
In this paper, we propose a method for 3D-model retrieval from one or more photos. This method provides an ”optimal” selection of 2D views to represent a 3D-model, and a proba...
We present a multiclass classification system for gray value images through boosting. The feature selection is done using the LPBoost algorithm which selects suitable features of a...
Martin Antenreiter, Christian Savu-Krohn, Peter Au...
Abstract. Haplotype inference has relevant biological applications, and represents a challenging computational problem. Among others, pure parsimony provides a viable modeling appr...
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...