Universität zu Lübeck Institut für Technische Informatik Erik Maehle University of Lübeck Institute of Computer Engineering Ratzeburger Allee 160 D-23538.
Lms
Optimization & Learning for Registration of Moving Dynamic Textures Junzhou Huang 1, Xiaolei Huang 2, Dimitris Metaxas 1 Rutgers University 1, Lehigh University.
Generating Compiler Optimizations from Proofs
