Search

We found 467 hits for your search of 'ALGORITHM'.
  1. SS 2025 High-Level Computer Vision

    /departments/computer-vision-and-machine-learning/teaching/courses-1/ss-2025-high-level-computer-vision

    this address for email communication with the TAs) or the Forum . Literature: " Computer Vision: Algorithms and Applications " by Richard Szeliski (in particular chapter on image formation) Mikolajcyk, Schmid:

  2. Girls’Day 2025: Girls Dive into Computer Science at the Saarbrücken Max Planck Institutes

    /news/detail/girlsday-2025-girls-dive-into-computer-science-at-the-saarbruecken-max-planck-institutes

    including the “Towers of Hanoi,” the “Travelling Salesman Problem,” and a walk-through sorting algorithm – the girls took part in two workshops. Guided by Carina Schmitt and Christian Klein, they received

  3. Last Year

    /departments/computer-graphics/publications/last-year

    MCMC-based light transport algorithm can be embedded into our framework. We empirically and theoretically prove that this embedding is superior to running the standalone algorithm. In fact, our approach will [...] MCMC-based light<br>transport algorithm can be embedded into our framework. We empirically and<br>theoretically prove that this embedding is superior to running the standalone<br>algorithm. In fact, our approach [...] MCMC-based light<br>transport algorithm can be embedded into our framework. We empirically and<br>theoretically prove that this embedding is superior to running the standalone<br>algorithm. In fact, our approach

  4. Literature

    /departments/automation-of-logic/teaching/winter-20162017/automated-reasoning/literature

    Handbook of Satisfiability IOS Press, 2009 Uwe Schöning, Jacobo Torán: The Satisfiability Problem - Algorithms and Analyses Lehmanns Verlag, 2013 Termination, well-founded orderings, confluence, unification

  5. SS 2021 High-Level Computer Vision

    /departments/computer-vision-and-machine-learning/teaching/courses-1/ss-2021-high-level-computer-vision

    both TAs using this mailing list: hlcv-ss21@lists.mpi-inf.mpg.de Literature: " Computer Vision: Algorithms and Applications " by Richard Szeliski (in particular chapter on image formation) Mikolajcyk, Schmid:

  6. Art Exhibition Showcases New Laser-Based Production Method

    /news/detail/oraclase-showcases-work-in-art-exhibition-at-the-institute

    were imprecise and inefficient, limiting the industrial application of this technology. Oraclase’s algorithm addresses these challenges by utilizing artificial intelligence to automatically calculate the optimal

  7. Data Networks - Summer 2020

    /departments/inet/teaching/data-networks-lecture-summer-2020

    of the area. The topics include network protocol mechanisms, implementation principles, network algorithms, advanced network architectures, network simulations, measurements and protocol specifications

  8. Literature

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

    Handbook of Satisfiability IOS Press, 2009 Uwe Schöning, Jacobo Torán: The Satisfiability Problem - Algorithms and Analyses Lehmanns Verlag, 2013 Termination, well-founded orderings, confluence, unification

  9. Literature

    /departments/automation-of-logic/teaching/winter-20182019/automated-reasoning/literature

    Handbook of Satisfiability IOS Press, 2009 Uwe Schöning, Jacobo Torán: The Satisfiability Problem - Algorithms and Analyses Lehmanns Verlag, 2013 Termination, well-founded orderings, confluence, unification

  10. SPASS-IQ

    /departments/automation-of-logic/software/spass-workbench/spass-iq

    handle subsumption and constraint refutation tests. The underlying algorithm is a branch-and-bound approach that uses the dual simplex algorithm proposed by Dutertre et al. [5]. Instead of focusing on non-c