Graph rewriting

Results: 134



#Item
1Termination of term graph rewriting Hans Zantema Technische Universiteit Eindhoven and Radboud Universiteit Nijmegen Joined work with Dennis Nolte and Barbara K¨ onig

Termination of term graph rewriting Hans Zantema Technische Universiteit Eindhoven and Radboud Universiteit Nijmegen Joined work with Dennis Nolte and Barbara K¨ onig

Add to Reading List

Source URL: cl-informatik.uibk.ac.at

Language: English - Date: 2016-09-11 10:17:32
    2In-place Graph Rewriting with Interaction Nets Ian Mackie Shinya Sato  An algorithm is in-place, or runs in-situ, when it does not need any additional memory to execute

    In-place Graph Rewriting with Interaction Nets Ian Mackie Shinya Sato An algorithm is in-place, or runs in-situ, when it does not need any additional memory to execute

    Add to Reading List

    Source URL: www.ianmackie.com

    Language: English - Date: 2018-02-23 17:17:29
      3Efficient implementation of evaluation strategies via token-guided graph rewriting Koko Muroya Dan R. Ghica

      Efficient implementation of evaluation strategies via token-guided graph rewriting Koko Muroya Dan R. Ghica

      Add to Reading List

      Source URL: www.cs.ox.ac.uk

      - Date: 2017-09-09 06:01:35
        4Categorical Semantics of Digital Circuits Dan R. Ghica, Achim Jung University of Birmingham, UK Abstract—This paper proposes a categorical theory of digital circuits based on monoidal categories and graph rewriting. Th

        Categorical Semantics of Digital Circuits Dan R. Ghica, Achim Jung University of Birmingham, UK Abstract—This paper proposes a categorical theory of digital circuits based on monoidal categories and graph rewriting. Th

        Add to Reading List

        Source URL: www.cs.bham.ac.uk

        - Date: 2016-08-30 09:47:27
          5Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus Niels Bjørn Bugge Grathwohl1 , Jeroen Ketema2 , Jens Duelund Pallesen1 , and Jakob Grue Simonsen1 1

          Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus Niels Bjørn Bugge Grathwohl1 , Jeroen Ketema2 , Jens Duelund Pallesen1 , and Jakob Grue Simonsen1 1

          Add to Reading List

          Source URL: drops.dagstuhl.de

          - Date: 2011-04-26 05:41:56
            624. Theorietag „Automaten und Formale Sprachen“ Caputh, 23. – 25. September 2014 Henning Bordihn, Bianca Truthe (Hrsg.)

            24. Theorietag „Automaten und Formale Sprachen“ Caputh, 23. – 25. September 2014 Henning Bordihn, Bianca Truthe (Hrsg.)

            Add to Reading List

            Source URL: fg-afs.gi.de

            Language: English - Date: 2015-10-19 16:22:16
            7Incremental Specialization of an HPSG-Based Annotation Scheme Kiril Simov, Milen Kouylekov, Alexander Simov BulTreeBank Project http://www.BulTreeBank.org Linguistic Modelling Laboratory, Bulgarian Academy of Sciences Ac

            Incremental Specialization of an HPSG-Based Annotation Scheme Kiril Simov, Milen Kouylekov, Alexander Simov BulTreeBank Project http://www.BulTreeBank.org Linguistic Modelling Laboratory, Bulgarian Academy of Sciences Ac

            Add to Reading List

            Source URL: bultreebank.org

            Language: English - Date: 2003-12-07 15:19:14
            8Robot Learning with a Spatial, Temporal, and Causal And-Or Graph Caiming Xiong∗ , Nishant Shukla∗ , Wenlong Xiong, and Song-Chun Zhu Abstract— We propose a stochastic graph-based framework for a robot to understand

            Robot Learning with a Spatial, Temporal, and Causal And-Or Graph Caiming Xiong∗ , Nishant Shukla∗ , Wenlong Xiong, and Song-Chun Zhu Abstract— We propose a stochastic graph-based framework for a robot to understand

            Add to Reading List

            Source URL: shukla.io

            Language: English - Date: 2016-02-23 23:39:56
            9SynopSys: Foundations for Multidimensional Graph Analytics Michael Rudolf1 , Hannes Voigt1 , Christof Bornhövd2 , and Wolfgang Lehner1 TU Dresden, Database Technology Group, Germany , hannes.voig

            SynopSys: Foundations for Multidimensional Graph Analytics Michael Rudolf1 , Hannes Voigt1 , Christof Bornhövd2 , and Wolfgang Lehner1 TU Dresden, Database Technology Group, Germany , hannes.voig

            Add to Reading List

            Source URL: db.csail.mit.edu

            Language: English - Date: 2014-08-28 09:45:03
            10Industrial-Strength Schema Matching Philip A. Bernstein, Sergey Melnik, Michalis Petropoulos, Christoph Quix Microsoft Research Redmond, WA, U.S.A. {philbe, melnik}@microsoft.com, ,

            Industrial-Strength Schema Matching Philip A. Bernstein, Sergey Melnik, Michalis Petropoulos, Christoph Quix Microsoft Research Redmond, WA, U.S.A. {philbe, melnik}@microsoft.com, ,

            Add to Reading List

            Source URL: www.cse.buffalo.edu

            Language: English - Date: 2006-01-19 08:47:46