Algorithms

Results: 10964



#Item
441

A Efficient and Dynamic Algorithms for Alternating Buchi ¨ Games and Maximal End-component Decomposition Krishnendu Chatterjee, IST Austria (Institute of Science and Technology Austria)

Add to Reading List

Source URL: eprints.cs.univie.ac.at

- Date: 2013-11-28 07:38:56
    442

    Algorithms for Web Scraping Patrick Hagge Cording Kongens Lyngby 2011

    Add to Reading List

    Source URL: www2.imm.dtu.dk

      443

      Algorithms for Reinforcement Learning Draft of the lecture published in the Synthesis Lectures on Artificial Intelligence and Machine Learning series by Morgan & Claypool Publishers

      Add to Reading List

      Source URL: sites.ualberta.ca

      - Date: 2013-05-18 19:33:17
        444

        On Testing Expansion in Bounded-Degree Graphs Oded Goldreich and Dana Ron Abstract. We consider testing graph expansion in the bounded-degree graph model. Specifically, we refer to algorithms for testing whether the

        Add to Reading List

        Source URL: www.wisdom.weizmann.ac.il

        - Date: 2010-07-22 08:07:03
          445

          Journal of Graph Algorithms and Applications http://jgaa.info/ vol. 16, no. 3, pp. 635–DOI: jgaaAccelerated Bend Minimization Sabine Cornelsen Andreas Karrenbauer

          Add to Reading List

          Source URL: jgaa.info

          - Date: 2012-09-26 06:51:14
            446

            Approximation Algorithms for Spectrum Allocation and Power Control in Wireless Networks

            Add to Reading List

            Source URL: darwin.bth.rwth-aachen.de

            - Date: 2012-10-08 09:57:58
              447

              Proof, beliefs, and algorithms through the lens of sum-of-squares 1 Arora–Rao–Vazirani Approximation for Expansion In this lecture, we consider the problem of finding a set with smallest

              Add to Reading List

              Source URL: sumofsquares.org

              - Date: 2016-11-17 19:44:26
                448

                On Exact Algorithms for Treewidth HANS L. BODLAENDER, Utrecht University, the Netherlands FEDOR V. FOMIN, University of Bergen, Norway ARIE M. C. A. KOSTER, Aachen University, Germany DIETER KRATSCH, Universit´e de Metz

                Add to Reading List

                Source URL: users.uoa.gr

                - Date: 2014-06-11 17:30:28
                  449

                  SMT-based approaches to Model Checking of Distributed Broadcast Algorithms Francesco Alberti, Silvio Ghilardi, Andrea Orsini, Elena Pagani Universit` a degli Studi di Milano / Fondazione Centro San Raffaele

                  Add to Reading List

                  Source URL: forsyte.at

                  - Date: 2015-06-25 07:24:42
                    450

                    Performance Analysis of Machine Learning Algorithms for Regression of Spatial Variables. A Case Study in the Real Estate Industry Sebastian F. Santibanez1, Marius Kloft2 , Tobia Lakes3 1

                    Add to Reading List

                    Source URL: www.geocomputation.org

                    - Date: 2015-05-15 12:14:38
                      UPDATE