Abstraction

Results: 2720



#Item
61Enhancing Predicate Pairing with Abstraction for Relational Verifcation E. De Angelis1, F. Fioravanti1, 2 3 A. Pettorossi , and M. Proietti

Enhancing Predicate Pairing with Abstraction for Relational Verifcation E. De Angelis1, F. Fioravanti1, 2 3 A. Pettorossi , and M. Proietti

Add to Reading List

Source URL: www.sci.unich.it

- Date: 2017-11-23 02:13:04
    62Under consideration for publication in Theory and Practice of Logic Programming 1 Certificate Size Reduction in Abstraction-Carrying Code∗

    Under consideration for publication in Theory and Practice of Logic Programming 1 Certificate Size Reduction in Abstraction-Carrying Code∗

    Add to Reading List

    Source URL: cliplab.org

    - Date: 2012-08-07 09:26:50
      631997-Dynamic Abstraction Planning

      1997-Dynamic Abstraction Planning

      Add to Reading List

      Source URL: rpgoldman.goldman-tribe.org

      - Date: 2018-01-05 21:03:47
        64Uncertain<T> A First-Order Type for Uncertain Data The Uncertain<T> abstraction encourages non-expert developers to explicitly reason about uncertainty.! uncertain data!

        Uncertain A First-Order Type for Uncertain Data The Uncertain abstraction encourages non-expert developers to explicitly reason about uncertainty.! uncertain data!

        Add to Reading List

        Source URL: homes.cs.washington.edu

        - Date: 2016-11-23 00:38:17
          65 SPRING WEEKEND COURSES FOR ADULTS Weekend 1 : 7th & 8th April Course Title Introduction to Oil Painting Introduction to Drawing & Painting Acrylic Abstraction

          SPRING WEEKEND COURSES FOR ADULTS Weekend 1 : 7th & 8th April Course Title Introduction to Oil Painting Introduction to Drawing & Painting Acrylic Abstraction

          Add to Reading List

          Source URL: www.gsa.ac.uk

          - Date: 2018-03-12 08:54:55
            66E XOSKELETON: Curve Network Abstraction for 3D Shapes Fernando de Goesa,∗, Siome Goldensteinb , Mathieu Desbruna , Luiz Velhoc a California Institute of Technology, Pasadena, CA 91125, USA de Computac¸a˜ o, UNICAMP,

            E XOSKELETON: Curve Network Abstraction for 3D Shapes Fernando de Goesa,∗, Siome Goldensteinb , Mathieu Desbruna , Luiz Velhoc a California Institute of Technology, Pasadena, CA 91125, USA de Computac¸a˜ o, UNICAMP,

            Add to Reading List

            Source URL: geometry.caltech.edu

            - Date: 2012-10-03 02:31:55
              67Abstraction Journée Jeunes Chercheurs Rendu Expressif

              Abstraction Journée Jeunes Chercheurs Rendu Expressif

              Add to Reading List

              Source URL: hal.inria.fr

              - Date: 2014-10-05 07:58:12
                68Piet Mondrian Un des pionniers de l’abstraction vendredi 2 octobre 15 Quelques oeuvres

                Piet Mondrian Un des pionniers de l’abstraction vendredi 2 octobre 15 Quelques oeuvres

                Add to Reading List

                Source URL: artplamontaigne.r.a.f.unblog.fr

                - Date: 2015-10-04 05:11:10
                  69Learning Complex Motions by Sequencing Simpler Motion Templates Keywords: reinforcement learning, motion templates, temporal abstraction, fitted Q-iteration Gerhard Neumann

                  Learning Complex Motions by Sequencing Simpler Motion Templates Keywords: reinforcement learning, motion templates, temporal abstraction, fitted Q-iteration Gerhard Neumann

                  Add to Reading List

                  Source URL: www.ias.tu-darmstadt.de

                  - Date: 2012-02-21 11:46:27
                    70Artificial 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: www-anw.cs.umass.edu

                    - Date: 2006-04-02 21:00:07