Search

"Notations" chapter ). Distributed and Sequential Graph Algorithms Fine-Grained Complexity Theory Introduction to Boolean Function Complexity Reading Group Algorithms Optimization Keeping Time in Distributed [...] Research Departments Algorithms and Complexity Teaching Summer 2019 Keeping Time in Distributed Systems Keeping Time in Distributed Systems Advanced Course, 2+2 Basic Information Lectures: Friday, 10:15 [...] understanding of algorithmic techniques and proving worst-case guarantees mathematically. Particular emphasis is given to strong, possibly surprising, fault-tolerance properties and how they can be achieved

Research Departments Algorithms and Complexity Teaching Summer 2018 Keeping Time in Distributed Systems Keeping Time in Distributed Systems Advanced Course, 2+2 Basic Information Lectures: Friday, 14:15 [...] understanding of algorithmic techniques and proving worst-case guarantees mathematically. Particular emphasis is given to strong, possibly surprising, fault-tolerance properties and how they can be achieved [...] future videos. Read and believe how we would like to run this course . Subscription to our mailing list is mandatory (1) We will use it to distribute material and information, and we will assume that everyone

navigation Institute 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 [...] Departments 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 [...] RG2 Network and Cloud Systems RG3 Multimodal Language Processing Publications Algorithms & Complexity Computer Vision and Machine Learning Internet Architecture Computer Graphics Databases and Information

areas of algorithms and complexity, as well as in logic of programming. At the same time researchers at the Institute have developed new algorithms for various application areas such as databases and information [...] create rich virtual and augmented environments for our eyes. A sense almost no one is even talking about is kinesthesia-our awareness of the position and movement of body parts. And even though this sense [...] n, and bioinformatics. Basic research in visual computing is also an important focus of the Institute, i.e. computer graphics and computer vision, at the intersection of artificial intelligence and machine

language models on unigram and bigram textual features. We use visual features in the form of object classes (and their WordNet hypernyms) detected by LSDA object detection algorithm. Our commonsense knowledge [...] we deploy three different modalities - text, visual cues, and commonsense knowledge pertaining to the query - as a recipe for efficient search and retrieval. Know2Look is an image retrieval framework that [...] Research Departments Databases and Information Systems Research YAGO-NAGA Know2Look Know2Look: Commonsense Knowledge for Visual Search Overview With the rise in popularity of social media, images accompanied

measures, 3) rule mining and 4) logical foundations towards relative recall and informativeness. Survey papers Simon Razniewski and Gerhard Weikum, Knowledge Base Recall: Detecting and Resolving the Unknown [...] Databases and Information Systems Research Knowledge Base Recall Knowledge Base Recall Knowledge bases about entities like people, places and products have become key assets of search and recommender [...] many millions of entities and billions of facts about them. Nevertheless, they have major gaps and limitations in what they cover, thus posing the challenge of detecting and resolving these "unknown unknowns"

knowledge) and non-textual KBs (e.g., ImageNet). We explore how these KBs are constructed and how they are used in various applications such as question answering (QA), story/script prediction and biography [...] minutes break 14:45-15:00 Closing remarks Rules and Grading Participation in the kick-off meeting, the "How to prepare and present a seminar talk" lecture, and both days of the block seminar is mandatory. [...] using KBs and text -- Aydan Rende (Paramita) Question answering on Freebase via relation extraction and textual evidence (Xu et al., ACL 2016) [ pdf ] Open question answering over curated and extracted

will study the syntax and semantics of the main ontology and rule-based languages. On the practical side we will exploit the available tools for the knowledge representation and reasoning. Prerequisites [...] Logics I (motivation and syntax) Nov 16 Description Logics II Assignment 1 (semantics, DL nomenclature, equivalences) Nov 23 Description Logics III Project 1 (modeling, DLs and OWL) Nov 30 Description [...] logic programs, guess and check methodology, programming techniques) Dec 21 Answer Set Programming III dlv examples Dec. 28 no lecture Jan 04 no lecture Jan 11 23:55 Hybrid ASP and Rule Learning Deadline

We explore different algorithms and their dependency on the underlying graph structure given by different image descriptors and distance measures. We provide several unsupervised and supervised graph improvement [...] Research Departments Computer Vision and Machine Learning Research Knowledge Transfer and Semi-supervised Learning Knowledge Transfer and Semi-supervised Learning Semi-supervised Learning in Image Collections [...] dataset-independent and good labeling. Large-Scale Knowledge Transfer We explore knowledge transfer and sharing in a large scale classification setting. We compare hierarchical, attribute-based, and direct transfer

structures, graph theory, algorithms, theory of complexity and the production of program libraries. His text books „Data Structures and Algorithms“ (1984) and „Algorithms and Data Structures: The Basic [...] one of the fathers of algorithm engineering with the close interlocking of basic algorithmic research and the development of powerful software libraries. Together with Stefan Näher and Christian Uhrig, he [...] he founded Algorithmic Solutions Software Ltd. in 1995 that published the software library LEDA (Library of Efficient Data Types and Algorithms) used e.g. by the American company Celera for the sequencing