Search

D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics D5 Databases and Information Systems D6 Visual Computing and Artificial Intelligence BIO Research [...] Research Group Computational Biology RG1 Automation of Logic RG2 Network and Cloud Systems RG3 Multimodal Language Processing Automation of Logic People Research Areas Automated Verification Combinations [...] Satisfiability Problem - Algorithms and Analyses Lehmanns Verlag, 2013 Termination, well-founded orderings, confluence, unification Franz Baader and Tobias Nipkow: Term Rewriting and All That. Cambridge Univ. Press

all these networks on a range of common adversarial attacks and corruption types and introduce a database on neural architecture design and robustness evaluations. We further present three exemplary use [...] Keuper, and M. Keuper “FrequencyLowCut Pooling - Plug & Play against Catastrophic Overfitting,” in Computer Vision -- ECCV 2022, Tel Aviv, Israel, 2022. 7 Conference paper D2 J. Lukasik, S. Jung, and M. Keuper [...] can produce good solutions in practice while providing lower computation times and largely improved scalability compared to LP solvers and optimized heuristics, especially when considering large instances

well for popular items and users with ample interactions (likes, ratings etc.). This work addresses the difficult and underexplored case of users who have very sparse interactions but post informative review [...] datasets and data preparation for recommender training and evaluation. Finally, we reconsider the issue of how recommenders are evaluated, and propose drilling-down into different groups of users and items [...] combines interaction-based and content-based signals and leverages language models for Transformer-powered predictions. We present new techniques for selecting negative training samples, and investigate

Research Departments Computer Vision and Machine Learning People Alumni and Former Members Michael Stark Michael Stark (Post-Doc) Dr. Michael Stark Address Max-Planck-Institut für Informatik Saarland [...] Stanford University, as part of the Max Planck Center for Visual Computing and Communication (MPC-VCC). I am working on Visual Object Recognition and Scene Interpretation with Prof. Daphne Koller . Research Interests [...] Observed Human-Object Interactions Sebastian Schneider. Discovering Interaction Points on Objects using Human Hand Tracking Courses Winter Semester 2007/2008: Introduction to Computer Science 1 (Lab exercises)

semi­nal contributions to the field of computer graphics and visual computing, as well as his leadership to the community as a workshop and conference organizer and within the ERC. Congratulations! Vahid [...] on AI 05 February 2024 New research area "Vision and Language Models (VLMs)" at the Saarbrücken Research Center for Visual Computing, Interaction and Artificial Intelligence under the direction of Professor [...] Research Center for Visual Computing, Interaction and Artificial Intelligence (VIA)" 30 June 2023 In June, the Max Planck Institute for Informatics in Saarbrücken, Germany and Google have announced a strategic

L. Pishchulin, M. Andriluka, P. Gehler and B. Schiele, IEEE Conference on Computer Vision and Pattern Recognition (CVPR), June, (2013) [2] Strong Appearance and Expressive Spatial Models for Human Pose [...] Research Departments Computer Vision and Machine Learning Research People Detection, Pose Estimation and Tracking Poselet Conditioned Pictorial Structures Poselet Conditioned Pictorial Structures Typical [...] specifically for each image in question (II) and also predict position and rotation of each body part (III). In order to obtain a strong local multi-modal appearance model we use rotation-dependent part

electronics and trying to make every-day tools smart and long-distance controllable using micro-controllers, and various sensors and actuators. Other than that he enjoys reading books and getting lost [...] Systems, Security, Human-Computer Interaction, Cyber-Physical systems, and IoT. Iman's bachelor thesis investigated a novel method for client selection in federated learning such that various factors were [...] messaging platforms, and if not, what the root causes are. They then made several suggestions to the stake-holders of such platforms to build trust with Iranian users, and compared and contrasted the main

for new perceptual abilities of future intelligent and autonomous computer systems and open up new possibilities both for interaction with virtual and extended reality as well as for highly realistic t [...] areas of computer vision, computer graphics, human-machine interaction, and machine learning. In particular, he conducts research on the following topics: algorithms for 3D reconstruction of static and dynamic [...] opportunities for human-machine interaction: Intelligent autonomous and robotic systems of the future will be able to better grasp and understand the world, move safely within it, and collaborate better with people

Finding and following people is a key technology for many applications such as robotics and automotive safety, human-computer interaction scenarios, or for indexing images and videos from the web or s [...] surveillance cameras. At the same time it is one of the most challenging problems in computer vision and remains a scientific challenge for realistic scenes.

universities of Saarbrücken and Bonn. Thomas Lengauer initially performed research on computer-aided analysis and prediction of the spatial structures of proteins and on computer-aided drug design. In 2001 [...] findings and tools in their research and are increasingly dependent on them." With the development of this area, national and international societies, such as the International Society for Computational Biology [...] University of Berlin in 1976 and his doctorate in computer science from Stanford University in 1979. After more than two decades of research in theoretical computer science and on the design of integrated