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, ...
Abstract. Data copy is an important compiler optimization which dynamically rearranges the layout of arrays by copying their elements into local buffers. Traditionally, array copy...
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
We investigate whether four metacognitive metrics derived from student correctness and uncertainty values are predictive of student learning in a fully automated spoken dialogue co...
Automatic construction of Shape and Appearance Models from examples via establishing correspondences across the training set has been successful in the last decades. One successfu...