Pancreas segmentation in 3-D computed tomography (CT) data is of high clinical relevance, but extremely difficult since the pancreas is often not visibly distinguishable from the...
Marius Erdt, Matthias Kirschner, Klaus Drechsler, ...
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Many applications involve multiple-modalities such as text and images that describe the problem of interest. In order to leverage the information present in all the modalities, on...
In this paper, we propose a second order optimization method to learn models where both the dimensionality of the parameter space and the number of training samples is high. In ou...
Mobile devices which can capture and view pictures are becoming increasingly common in our life. The limitation of these small-form-factor devices makes the user experience of ima...