The process of finding representative shape patterns from sparse datasets is a challenging task: especially for non-rigid objects, shape deformations through time can produce very...
Stefano Maludrottu, Hany Sallam, Carlo S. Regazzon...
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...
Tracking vehicles in image sequences of innercity road traffic scenes still constitutes a challenging task. Even if a-priori knowledge about the 3D shape of vehicles, of backgroun...
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...