Abstraction

Results: 2720



#Item
91Abstraction Refinement for Ontology Materialization Birte Glimm1 , Yevgeny Kazakov1 , Thorsten Liebig2 , Trung-Kien Tran1 , and Vincent Vialard2 1 University of Ulm, Ulm, Germany, <first name>.<last name>@uni-ulm.de

Abstraction Refinement for Ontology Materialization Birte Glimm1 , Yevgeny Kazakov1 , Thorsten Liebig2 , Trung-Kien Tran1 , and Vincent Vialard2 1 University of Ulm, Ulm, Germany, .@uni-ulm.de

Add to Reading List

Source URL: ceur-ws.org

- Date: 2014-07-07 10:05:50
    92Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs Alastair Donaldson, Alexander Kaiser, Daniel Kroening, and Thomas Wahl Computer Science Department, Oxford University, United Kingdom Abstrac

    Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs Alastair Donaldson, Alexander Kaiser, Daniel Kroening, and Thomas Wahl Computer Science Department, Oxford University, United Kingdom Abstrac

    Add to Reading List

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

    - Date: 2012-08-31 08:16:46
      93Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing Matei Zaharia, Mosharaf Chowdhury, Tathagata Das, Ankur Dave, Justin Ma, Murphy McCauley, Michael J. Franklin, Scott Shenker, I

      Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing Matei Zaharia, Mosharaf Chowdhury, Tathagata Das, Ankur Dave, Justin Ma, Murphy McCauley, Michael J. Franklin, Scott Shenker, I

      Add to Reading List

      Source URL: www-bcf.usc.edu

      - Date: 2012-03-16 18:09:41
        94David Hilbert In mathematics, as in any scientific research, we find two tendencies present. On the one hand, the tendency toward abstraction seeks to crystallize the logical relations inherent in the maze of material th

        David Hilbert In mathematics, as in any scientific research, we find two tendencies present. On the one hand, the tendency toward abstraction seeks to crystallize the logical relations inherent in the maze of material th

        Add to Reading List

        Source URL: tjzager.files.wordpress.com

        - Date: 2016-12-04 12:49:08
          95Generative Programming: from High-Performance to Safety-Critical Applications LMS-Verify: Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf

          Generative Programming: from High-Performance to Safety-Critical Applications LMS-Verify: Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf

          Add to Reading List

          Source URL: lampwww.epfl.ch

          - Date: 2016-10-31 05:50:57
            96Metaphor: Bridging embodiment to abstraction

            Metaphor: Bridging embodiment to abstraction

            Add to Reading List

            Source URL: ccn.upenn.edu

            - Date: 2016-06-14 10:01:32
              97Finding the needle in the haystack System software debugging at the right level of abstraction 1st International Workshop on Multicore Application Debugging (MAD 2013)

              Finding the needle in the haystack System software debugging at the right level of abstraction 1st International Workshop on Multicore Application Debugging (MAD 2013)

              Add to Reading List

              Source URL: www.mad-workshop.de

              - Date: 2016-03-22 12:43:37
                98The Graph BLAS effort and its implications for Exascale David Bader, Aydın Buluç1, John Gilbert, Joseph Gonzalez, Jeremy Kepner, Tim Mattson Abstract The graph abstraction provides a natural way to represent relationsh

                The Graph BLAS effort and its implications for Exascale David Bader, Aydın Buluç1, John Gilbert, Joseph Gonzalez, Jeremy Kepner, Tim Mattson Abstract The graph abstraction provides a natural way to represent relationsh

                Add to Reading List

                Source URL: www.siam.org

                - Date: 2014-07-16 17:05:44
                  99SICSA is able to provide sponsorship for small to medium-scale events taking place in Scotland that are relevant to the SICSA research themes: Complex Systems Engineering Modelling and Abstraction Human-Computer Interact

                  SICSA is able to provide sponsorship for small to medium-scale events taking place in Scotland that are relevant to the SICSA research themes: Complex Systems Engineering Modelling and Abstraction Human-Computer Interact

                  Add to Reading List

                  Source URL: www.sicsa.ac.uk

                  - Date: 2016-03-30 05:25:52
                    100Abstraction and climate impacts on the Bonriki freshwater lens, Tarawa, Kiribati An optimization approach to maximize the resource during droughts Presenter: Sandra Galvis-Rodriguez Authors: Sandra Galvis-Rodriguez1,2, A

                    Abstraction and climate impacts on the Bonriki freshwater lens, Tarawa, Kiribati An optimization approach to maximize the resource during droughts Presenter: Sandra Galvis-Rodriguez Authors: Sandra Galvis-Rodriguez1,2, A

                    Add to Reading List

                    Source URL: star.gsd.spc.int

                    - Date: 2016-07-07 21:56:32