View identification is the basal process for solid reconstruction from engineering drawings. A new method is presented to label various views from a section-involved drawing and i...
Ultrasound (US) is a medical imaging modality which is extremely difficult to learn as it is user-dependent, has low image quality and many artifacts that depend on the viewing d...
Tobias Blum, Sandro Michael Heining, Oliver Kutter...
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
Current alignment algorithms for registering range data captured from a 3D scanner assume that the range data depicts identical geometry taken from different views. However, in th...
Despite the recent resurgence of interest in learning methods for planning, most such efforts are still focused exclusively on classical planning problems. In this work, we invest...