Algorithmic

Results: 3166



#Item
461

6.890: Algorithmic Lower Bounds: Fun With Hardness Proofs Fall 2014 Lecture 11 — October 9, 2014 Prof. Erik Demaine

Add to Reading List

Source URL: courses.csail.mit.edu

Language: English - Date: 2014-10-13 20:04:24
    462

    6.890: Algorithmic Lower Bounds: Fun With Hardness Proofs Fall 2014 Lecture 10 — October 7, 2014 Prof. Erik Demaine Scribes: Fermi Ma, Asa Oines, Mikhail Rudoy, Erik Waingarten

    Add to Reading List

    Source URL: courses.csail.mit.edu

    Language: English - Date: 2014-10-11 23:58:53
      463

      Towards a Universal Theory of Artificial Intelligence based on Algorithmic Probability and Sequential Decisions Marcus Hutter IDSIA, Galleria 2, CH-6928 Manno-Lugano, Switzerland, ?

      Add to Reading List

      Source URL: www.hutter1.de

      Language: English - Date: 2006-07-27 06:01:10
        464

        Technical Report IDSIAIn Artificial General Intelligence, 2007 UNIVERSAL ALGORITHMIC INTELLIGENCE A mathematical top→down approach

        Add to Reading List

        Source URL: www.hutter1.de

        Language: English - Date: 2007-01-19 20:30:44
          465

          1 1 Algorithmic, Geometric, and Combinatorial Problems in Computational Music Theory

          Add to Reading List

          Source URL: cgm.cs.mcgill.ca

          Language: English - Date: 2003-08-04 14:00:36
            466

            Algorithmic Game Theory Lecture on July 18th Kurt Mehlhorn and Rob van Stee July 14, 2011 We discuss the paper Online Primal-Dual Algorithms for Maximizing Ad-Auctions Revenue by Buchbinder, Jain, and Naor [BJN07]. The p

            Add to Reading List

            Source URL: resources.mpi-inf.mpg.de

            Language: English - Date: 2011-07-14 07:41:54
              467

              An Introduction to Tile-Based Self-Assembly Matthew J. Patitz? University of Arkansas Abstract. In this tutorial, we give a brief introduction to the field of tile-based algorithmic self-assembly. We begin with a descrip

              Add to Reading List

              Source URL: self-assembly.net

              Language: English - Date: 2012-06-25 20:15:02
                468

                FPT algorithmic techniques Dániel Marx Budapest University of Technology and Economics, Hungary AGAPE’09 Spring School on Fixed Parameter and Exact Algorithms May 25-26, 2009, Lozari, Corsica (France)

                Add to Reading List

                Source URL: www.cs.bme.hu

                Language: English - Date: 2009-05-28 12:10:42
                  469

                  Trends and Challenges in Algorithmic Software Verification Rajeev Alur Department of Computer and Information Science University of Pennsylvania Email:

                  Add to Reading List

                  Source URL: vstte.ethz.ch

                  Language: English - Date: 2005-10-11 03:37:02
                    470

                    1 1 Algorithmic, Geometric, and Combinatorial Problems in Computational Music Theory

                    Add to Reading List

                    Source URL: www-cgrl.cs.mcgill.ca

                    Language: English - Date: 2003-08-04 14:00:36
                      UPDATE