Rewriting

Results: 653



#Item
271Combinatorics / Integrator / Theoretical computer science / Mathematics / Graph rewriting / Graph theory

Incremental Integration Tools for Chemical Engineering: An Industrial Application of Triple Graph Grammars Simon M. Becker and Bernhard Westfechtel Lehrstuhl f¨ur Informatik III, RWTH Aachen Ahornstraße 55, DAac

Add to Reading List

Source URL: www-i3.informatik.rwth-aachen.de

Language: English - Date: 2009-05-27 10:53:27
272Graph rewriting / Graph / Connectivity / Pseudoforest / Graph theory / Mathematics / Combinatorics

A Graph-Based Algorithm for Consistency Maintenance in Incremental and Interactive Integration Tools

Add to Reading List

Source URL: www-i3.informatik.rwth-aachen.de

Language: English - Date: 2009-05-27 10:53:22
273Query languages / Functional languages / 4GL / XQuery / Markup languages / XPath / XML database / Regular expression / S-expression / Computing / Software engineering / XML

Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store Hiroyuki Kato Soichiro Hidaka

Add to Reading List

Source URL: research.nii.ac.jp

Language: English - Date: 2010-06-30 02:44:40
274Graph rewriting / Formal languages / Rewriting / Graph / Matching / Theoretical computer science / Mathematics / Graph theory

Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models Vincent Danos3 , Jérôme Feret4 , Walter Fontana5 , Russell Harmer1 , Jonathan Hayman4,2 , Jean Krivine1 , Chris Thompson-Walsh2 , and Glynn Winskel2 1

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2013-10-23 07:23:09
275Computational science / Graph theory / Visualization / Personalization / Ambient intelligence / Graph rewriting / User modeling / Computer music / University of Haifa / Information science / Science / Mathematics

HALF-YEAR ACADEMIC PROGRESS REPORT AprilSeptember 2012 This report marks the initiation of several new scientific activities at the Caesarea Edmond Benjamin de Rothschild Institute (CRI) at the University of Haif

Add to Reading List

Source URL: www.cri.haifa.ac.il

Language: English - Date: 2014-12-17 09:56:18
276Query languages / Functional languages / 4GL / XQuery / Markup languages / XPath / XML database / Regular expression / S-expression / Computing / Software engineering / XML

Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store Hiroyuki Kato Soichiro Hidaka

Add to Reading List

Source URL: db.ucsd.edu

Language: English - Date: 2008-12-16 17:45:05
277Telecommunications engineering / Mathematics / Channel capacity / Binary symmetric channel / Mutual information / Entropy / Group action / Distributed source coding / Additive white Gaussian noise / Information theory / Coding theory / Information

1 Asymmetric Error Correction and Flash-Memory Rewriting using Polar Codes Eyal En Gad, Yue Li, Joerg Kliewer, Michael Langberg, Anxiao (Andrew) Jiang and Jehoshua Bruck

Add to Reading List

Source URL: www.paradise.caltech.edu

Language: English - Date: 2015-02-01 16:44:14
278Information / RDF / Ontology / Query languages / Database theory / RDF Schema / Web Ontology Language / SPARQL / Semantic reasoner / Semantic Web / Data management / Computing

RDFS with Attribute Equations via SPARQL Rewriting Stefan Bischof1,2 and Axel Polleres1 1 2

Add to Reading List

Source URL: eswc-conferences.org

Language: English - Date: 2015-05-13 12:33:38
279Applied mathematics / Logic in computer science / Mathematical logic / Rewriting / Computability theory / Semi-Thue system / Differential equation / Normal form / Linear equation / Theoretical computer science / Mathematics / Formal languages

Chapter 1 Rewriting Nachum Dershowitz David A. Plaisted

Add to Reading List

Source URL: rewriting.loria.fr

Language: English - Date: 2001-02-15 10:07:19
280Software engineering / Lambda calculus / Haskell / Q / Rewriting / Theoretical computer science / Functional languages / Programming language theory

Fun tional Polytypi Programming Patrik Jansson Department of Computing S ien e Chalmers University of Te hnology and G oteborg University

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2010-09-06 04:14:31
UPDATE