We propose a new approach for the restoration of polarimetric Stokes images, capable of simultaneously segmenting and restoring the images. In order to easily handle the admissibi...
This multidisciplinary study focuses on the application and comparison of several topology preserving mapping models upgraded with some classifier ensemble and boosting techniques ...
Bruno Baruque, Emilio Corchado, Hujun Yin, Jordi R...
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
The paper presents an efficient solution to decision problems where direct partial information on the distribution of the states of nature is available, either by observations of ...
Many important existing and upcoming biomedical imaging modalities lead to nonlinear relationships between state variables from which measurements result and the tissue properties...
Wolfgang Bangerth, Amit Joshi, Eva M. Sevick-Murac...