Abstraction

Results: 2720



#Item
71Artificial Intelligence–211 Between MDPs and semi-MDPs: A framework for temporal abstraction in reinforcement learning Richard S. Sutton a,∗ , Doina Precup b , Satinder Singh a

Artificial Intelligence–211 Between MDPs and semi-MDPs: A framework for temporal abstraction in reinforcement learning Richard S. Sutton a,∗ , Doina Precup b , Satinder Singh a

Add to Reading List

Source URL: webdocs.cs.ualberta.ca

- Date: 2008-03-04 23:12:15
    72A file-system abstraction for virtualized infrastructure

    A file-system abstraction for virtualized infrastructure

    Add to Reading List

    Source URL: dl.ifip.org

    - Date: 2015-11-06 11:19:11
      73Extrapolation-based Path Invariants for Abstraction Refinement of Fifo Systems Alexander Heußner1 , Tristan Le Gall2 , and Gr´egoire Sutre1 1 LaBRI, Universit´e Bordeaux, CNRS {heussner, sutre}@labri.fr

      Extrapolation-based Path Invariants for Abstraction Refinement of Fifo Systems Alexander Heußner1 , Tristan Le Gall2 , and Gr´egoire Sutre1 1 LaBRI, Universit´e Bordeaux, CNRS {heussner, sutre}@labri.fr

      Add to Reading List

      Source URL: www.labri.fr

      - Date: 2016-10-07 07:54:24
        74Library Abstraction for C/C++ Concurrency — extended version — Mark Batty Mike Dodds

        Library Abstraction for C/C++ Concurrency — extended version — Mark Batty Mike Dodds

        Add to Reading List

        Source URL: www-users.cs.york.ac.uk

        - Date: 2012-10-30 13:06:26
          75Intelligent Abstraction – Intelligent Predictive Analytics – Intelligent Action Modernizing Existing Infrastructures with Truly Heterogeneous

          Intelligent Abstraction – Intelligent Predictive Analytics – Intelligent Action Modernizing Existing Infrastructures with Truly Heterogeneous

          Add to Reading List

          Source URL: res.cdn.sys-con.com

          - Date: 2016-06-16 14:24:09
            76 SONIC WARFARE Technologies of Lived Abstraction Brian Massumi and Erin Manning, editors Relationscapes: Movement, Art, Philosophy, Erin Manning,  Without Criteria: Kant, Whitehead, Deleuze, and Aesthetics,

            SONIC WARFARE Technologies of Lived Abstraction Brian Massumi and Erin Manning, editors Relationscapes: Movement, Art, Philosophy, Erin Manning,  Without Criteria: Kant, Whitehead, Deleuze, and Aesthetics,

            Add to Reading List

            Source URL: ciudadtecnicolor.files.wordpress.com

            - Date: 2010-08-08 20:25:23
              77Aachen Department of Computer Science Technical Report Lazy Abstraction for Size-Change Termination

              Aachen Department of Computer Science Technical Report Lazy Abstraction for Size-Change Termination

              Add to Reading List

              Source URL: sunsite.informatik.rwth-aachen.de

              - Date: 2010-08-17 17:01:11
                78A Simple Abstraction for Complex Concurrent Indexes Extended Version Pedro da Rocha Pinto Thomas Dinsdale-Young

                A Simple Abstraction for Complex Concurrent Indexes Extended Version Pedro da Rocha Pinto Thomas Dinsdale-Young

                Add to Reading List

                Source URL: www.doc.ic.ac.uk

                - Date: 2011-10-31 11:46:41
                  79A Sound and Complete Abstraction for Reasoning about Parallel Prefix Sums ∗ Nathan Chong Alastair F. Donaldson

                  A Sound and Complete Abstraction for Reasoning about Parallel Prefix Sums ∗ Nathan Chong Alastair F. Donaldson

                  Add to Reading List

                  Source URL: www.doc.ic.ac.uk

                  - Date: 2013-11-12 05:47:28
                    80Splendid Isolation: A Slice Abstraction for Software-Defined Networks Stephen Gutz Alec Story

                    Splendid Isolation: A Slice Abstraction for Software-Defined Networks Stephen Gutz Alec Story

                    Add to Reading List

                    Source URL: frenetic-lang.org

                    - Date: 2016-06-10 23:59:38