Albert-Ludwigs-Universität Freiburg. Institut für Informatik
Hat mitgewirkt an:
-
State of the art in dense monocular non‐rigid 3D reconstruction
-
Increasing trustworthiness of face authentication in mobile devices by modeling gesture behavior and location using neural networks
-
Commutativity simplifies proofs of parameterized programs
-
Label dependent lambda calculus and gradual typing