News Archiv



Bild der Pressemitteilung
Joel Ouaknine joins the MPI-SWS faculty

Joel Ouaknine joins the institute’s faculty as a scientific director, effective Aug 1, 2016. Joel’s research interests include the automated verification of real-time, probabilistic, and infinite-state systems (e.g. model-checking algorithms, synthesis problems, complexity), logic and applications to verification, decision and synthesis problems for linear dynamical systems, automated software analysis, concurrency, and theoretical computer science.

Bild der Pressemitteilung
Advanced Video Processing

New algorithms facilitate complex video processing such as automatic dynamic background inpainting. New machine learning algorithms make possible the removal of compression artifacts [...]

Bild der Pressemitteilung
Markerless Reconstruction of Static and Dynamic Scenes

The 3D reconstruction of detailed models of persons in general apparel is, until now, possible in indoor sudios with controlled environment only. With new algorithms this seems it could succeed even in arbitrarily complex outdoor scenes with only a few camera.

1 ...
188189190191192 ...
229