Search

We found 467 hits for your search of 'ALGORITHM'.
  1. Quantifier Elimination – Statements Can Also Be Calculated

    /news/spotlight-articles/guarantees/quantifier-elimination-statements-can-also-be-calculated

    Sturm RG. 1 Automation of Logic Phone +49 681 9325-2920 Email sturm@mpi-inf.mpg.de Distributed Algorithms for Fault-tolerant Hardware Exact Solving of Polynomial Systems and Applications in Geometric Computing

  2. Quantum Lecture Series

    /departments/algorithms-complexity/quantum-lecture-series

    based on their DNA, has an algorithm that takes O(n^2) time. Using a fine-grained reduction it can be shown that faster algorithms for edit distance also imply a faster algorithm for the Boolean Satisfiability [...] Quantum algorithms for search and optimization Quantum algorithms are useful for a variety of problems in search and optimization. This line of work started with Grover's quantum search algorithm which achieved [...] almost all known lower bounds for quantum algorithms are defined in terms of query complexity, which doesn’t help much for problems for which the best-known algorithms take super-linear time. Therefore, employing

  3. Query Complexity: From Theory of Evolutionary Algorithms to Mastermind

    /news/spotlight-articles/optimization/query-complexity-from-theory-of-evolutionary-algorithms-to-mastermind

    of Evolutionary Algorithms to Mastermind Query Complexity: From Theory of Evolutionary Algorithms to Mastermind Benjamin Doerr Query Complexity: From Theory of Evolutionary Algorithms to Mastermind How [...] Benjamin Doerr DEPT. 1 Algorithms and ComplexityPhone +49 681 9325-1004Email doerr@mpi-inf.mpg.de Improving Flat Panel Displays by Discrete Optimization Energy Efficient Algorithms From Routing to Pricing [...] Rule-based Product Confi guration Approximation Algorithms for Profi t-maximizing Pricing Problems Query Complexity: From Theory of Evolutionary Algorithms to Mastermind Optimality in Matching Problems

  4. Question Answering

    /departments/databases-and-information-systems/research/question-answering

    resulting graph is typically rich but highly noisy. UNIQORN copes with this input by advanced graph algorithms for Group Steiner Trees, that identify the best answer candidates in the context graph. Experimental [...] of this really active period of growth for QA to give the audience a grasp over the families of algorithms that are currently being used. We partition research contributions by the underlying source from [...] corpora. We choose this dimension of partitioning as it is the most discriminative when it comes to algorithm design. Other key dimensions are covered within each sub-topic: like the complexity of questions

  5. Question Answering Systems

    /question-answering-systems

    this really active period of growth for QA to give the participants a grasp over the families of algorithms that are currently being used. We partition research contributions by the underlying source from [...] corpora. We choose this dimension of partitioning as it is the most discriminative when it comes to algorithm design. Other key dimensions are covered within each sub-topic: like the complexity of questions

  6. Questioning the Status Quo in Video Streaming

    /news/spotlight-articles/2019/questioning-the-status-quo-in-video-streaming

    streaming over HTTP (DASH). The rich body of prior work on optimizing TCP, adaptive bitrate selection algorithms, or TCP variants, however, highlights TCP's shortcomings. Our preliminary investigation reveals [...] file, and download the video chunk by chunk. Prior to fetching each chunk, adaptive bitrate (ABR) algorithms in the video player determine the quality level of that chunk based on inferred network conditions

  7. Quicklinks

    /quicklinks

    Skip to main content or main navigation Institute D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics D5 Databases and Information Systems D6 [...] Institute Hiring: CS/EE postdoc (m/f/d) & PhD positions (m/f/d) on optical networking Departments D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics [...] Automation of Logic RG2 Network and Cloud Systems RG3 Multimodal Language Processing Publications Algorithms & Complexity Computer Vision and Machine Learning Internet Architecture Computer Graphics Databases

  8. Randomized Algorithms and Probabilistic Analysis of Algorithms

    /departments/algorithms-complexity/teaching/winter22/random

    Departments Algorithms and Complexity Teaching Winter 2022/23 Randomized Algorithms and Probabilistic Analysis of Algorithms Randomized Algorithms and Probabilistic Analysis of Algorithms Advanced Course [...] sense to analyze algorithms under probabilistic input models. In this course, we will introduce you to the foundations of randomized algorithms and probabilistic analysis of algorithms. We will cover different [...] lectures will be added after the corresponding lectures.) Randomized Algorithms and Probabilistic Analysis of Algorithms Approximation Algorithms Ideen und Konzepte der Informatik

  9. Randomized Algorithms and Probabilistic Analysis of Algorithms

    /departments/algorithms-complexity/teaching/summer16/random

    Research Departments Algorithms and Complexity Teaching Randomized Algorithms and Probabilistic Analysis of Algorithms Randomized Algorithms and Probabilistic Analysis of Algorithms Advanced Course, 2+1 [...] sense to analyze algorithms under probabilistic input models. In this course, we will introduce you to the foundations of randomized algorithms and probabilistic analysis of algorithms. We will cover different [...] Theory of Polynomial-Time Problems Randomized Algorithms and Probabilistic Analysis of Algorithms Mathematik für Informatiker 2 Reading Group Algorithms State of the Art Linear Programming Theory

  10. Randomized and Approximation Algorithms

    /departments/algorithms-complexity/teaching/winter18/rand-apx-algo

    Research Departments Algorithms and Complexity Teaching Winter 2018/19 Randomized and Approximation Algorithms Randomized and Approximation Algorithms Advanced Course, 2+2 Basic Information Given by: Antonios [...] relevant algorithmic problems are unfortunately not known to have deterministic efficient algorithms. More specifically, for several important problems, it is highly unlikely that an efficient algorithm exists [...] provably "close" in value to the optimal one. Randomized Algorithms, and Probabilistic Analysis of Algorithms: Often, allowing an algorithm to make random choices during its execution leads to significantly