Search

We found 648 hits for your search of '-'.
  1. Automated Reasoning

    /departments/automation-of-logic/teaching/winter-2020/2021/automated-reasoning

    Wednesdays, 10:00 - 12:00 (c.t.) and Thursdays, 12:00 - 14:00 (c.t.). The lectures will be held via Zoom. Please register here to receive the meeting information by email. Tutorials: Fridays 4:00 - 5:30 p.m. [...] November 24, 2020. Final: Wednesday, February 24, 2021, 10:00 - 12:00, Günter Hotz Lecture Hall Re-Exam: Wednesday, March 31, 2021, 14:00 - 16:00, Günter Hotz Lecture Hall Please register for the exams

  2. Algorithmic Game Theory, Mechanism Design and Computational Economics

    /departments/algorithms-complexity/teaching/winter17/agt

    for such updates. - (15 Jan) Exercise Sheet 6 out. Deadline is 23 Jan, 2018. - (18 Dec) Exercise Sheet 5 out. Deadline is 9 Jan, 2018. - (4 Dec) Exercise Sheet 4 out. Deadline is 12 Dec. - (20 Nov) Exercise [...] Exercise Sheet 3 out. Deadline is 28 Nov. - (6 Nov) Exercise Sheet 2 out. Deadline is 14 Nov. - (23 Oct) Exercise Sheet 1 out. Deadline is 7 Nov. - (14 Oct) Since the Semester-kick-off Meeting will be held [...] Goel: Mechanism Design for Fair Division - Allocating Divisible Items without Payments (EC 2013) Cheung: Better Strategyproof Mechanisms without Payments or Prior - An Analytic Approach (IJCAI 2016) There

  3. Xianghui Xie

    /departments/computer-vision-and-machine-learning/people/xianghui-xie

    Pattern Recognition %Z date of event: 2024-06-17 - 2024-06-21 %C Seattle, WA, USA %B IEEE/CVF Conference on Computer Vision and Pattern Recognition %P 10003 - 10015 %I IEEE %@ 979-8-3503-5301-3 %U https:/ [...] Pattern Recognition %Z date of event: 2023-06-18 - 2023-06-23 %C Vancouver, Canada %B IEEE/CVF Conference on Computer Vision and Pattern Recognition %P 4757 - 4768 %I IEEE %@ 979-8-3503-0129-8 DOI PuRe BibTeX [...] event: 2022-10-23 - 2022-10-27 %C Tel Aviv, Israel %B Computer Vision -- ECCV 2022 %E Avidan, Shai; Brostow, Gabriel; Cissé, Moustapha; Farinella, Giovanni; Hassner, Tal %P 125 - 145 %I Springer %@

  4. Sabrina Hoppe

    /departments/computer-vision-and-machine-learning/people/alumni-and-former-members/sabrina-hoppe

    computational methods for automated eye movement detection - i.e. the task of detecting different types of eye movement in a continuous stream of gaze data - are limited in that they either involve thresholding [...] computational methods for automated eye movement detection - i.e. the task of detecting different types of eye movement in a continuous stream of gaze data - are limited in that they either involve thresholding [...] event: 2015-07-01 - 2015-07-04 %C Sydney, Australia %B Final Program & Abstracts International Neuropsychological Society 2015 Mid-Year Meeting / 5th ASSBI Pacific Rim Conference %P 121 - 122 %I International

  5. Andreas Karrenbauer

    /departments/algorithms-complexity/people/current-members/andreas-karrenbauer

    for Informatics , Saarbrücken, Germany. July 2010 - December 2012: Fellow at the Zukunftskolleg of the University of Konstanz , Germany. October 2008 - June 2010: Postdoctoral Researcher in the Discrete [...] Switzerland. January 2008 - September 2008: Postdoctoral Researcher in the Algorithms and Complexity department at the Max Planck Institute for Informatics . Education October 2004 - December 2007: Ph.D. student [...] of OLED Displays" October 2000 - July 2004: Studies in Computer Science at Saarland University. Master's Thesis: "Packing Boxes with Arbitrary Rotations". October 2000 - April 2007: Studies in Physics

  6. Yiting Xia

    /departments/rg2/people/yiting-xia

    Positions September 2020 - present: Tenure-track faculty, MPI-INF, Saarbrücken, Germany April 2018 - September 2020: Research Scientist, Facebook, Menlo Park, USA Education April 2014 - February 2018: Ph.D [...] Technologies and Applications in Networking %Z date of event: 2024-08-04 - 2024-08-08 %C Sidney, Australia %B HotOptics '24 %P 7 - 13 %I ACM %@ 979-8-4007-0716-2 Lei, Y., De Marchi, F., Joshi, R., Li, J [...] 3673712 %D 2024 %B 38th ACM SIGCOMM %Z date of event: 2024-08-04 - 2024-08-08 %C Sydney, Australia %B ACM SIGCOMM Posters and Demos '24 %P 86 - 88 %I ACM %@ 979-8-4007-0717-9 Lei, Y., Li, J., Liu, Z., Joshi

  7. Dengxin Dai

    /departments/computer-vision-and-machine-learning/people/alumni-and-former-members/dengxin-dai

    Pattern Recognition %Z date of event: 2023-06-18 - 2023-06-23 %C Vancouver, Canada %B IEEE/CVF Conference on Computer Vision and Pattern Recognition %P 15434 - 15443 %I IEEE %@ 979-8-3503-0129-8 DOI PuRe BibTeX [...] Pattern Recognition %Z date of event: 2023-06-18 - 2023-06-23 %C Vancouver, Canada %B IEEE/CVF Conference on Computer Vision and Pattern Recognition %P 15413 - 15423 %I IEEE %@ 979-8-3503-0129-8 DOI PuRe BibTeX [...] Pattern Recognition %Z date of event: 2023-06-18 - 2023-06-23 %C Vancouver, Canada %B IEEE/CVF Conference on Computer Vision and Pattern Recognition %P 3934 - 3943 %I IEEE %@ 979-8-3503-0129-8 DOI PuRe BibTeX

  8. AIDA: Resolving the Name Ambiguity

    /news/spotlight-articles/information-search-digital-knowledge/aida-resolving-the-name-ambiguity

    the right meaning seems obvious to us. Only in the most difficult cases take for example the sentence “Bush was a US president”. we notice it. Without further information we cannot know if “Bush” means [...] Ontology Matching with PARIS YAGO: a Collection of Digital Knowledge URDF Efficient Reasoning in Uncertain RDF Knowledge Bases EnBlogue What is New and Interesting in Web 2.0 ? [...] among them nearly 1 million persons, but it also contains locations, organizations, products and events see the YAGO article in this report for more details. The disambiguation process consists of different

  9. Fine-Grained Complexity Theory

    /departments/algorithms-complexity/teaching/summer19/fine-complexity

    Chapter 1 - Introduction to Fine-Grained Complexity Theory Chapter 2 - (Strong) Exponential Time Hypothesis Chapter 3 - Quadratic Lower Bounds for Sequence Similarity A Primer to Randomness Chapter 4 - The [...] Complexity Theory Fine-Grained Complexity Theory Advanced Course, 3+1 Lectures: Tuesday + Thursday, 16:15 - 18:00, E1.4 024 Lecturers: Karl Bringmann and Marvin Künnemann Tutorials: every second Thursday is an [...] Polynomial Method for OV Chapter 5 - The Polynomial Method for APSP Exercises (Exercise Sheet 0) Exercise Sheet 1 Exercise Sheet 2 Exercise Sheet 3 Exercise Sheet 4 Exercise Sheet 5 Exercise Sheet 6 Exercise

  10. Anja Feldmann

    /departments/inet/people/anja-feldmann

    Conference %Z date of event: 2025-03-10 - 2025-03-12 %C Virtual Event %B Passive and Active Measurement %E Testart, Cecilia; van Rijswijk-Deij, Roland; Stiller, Burkhard %P 106 - 136 %I Springer %@ 978-3-031-85959-5 [...] 2024 %B Applied Networking Research Workshop %Z date of event: 2024-07-20 - 2024-07-26 %C Vancouver, Canada %B ANRW 24 %P 97 - 99 %I ACM %@ 979-8-4007-0723-0 Seufert, M., Dietz, K., Wehner, N., Geißler [...] event: 2024-06-03 - 2024-06-06 %C Buffalo, NY, USA %B Proceedings of the Eighteenth International AAAI Conference on Web and Social Media %E Lin, Yu-Ru; Mejova, Yelena; Cha, Meeyoung %P 813 - 825 %I AAAI %@