Rewriting - PDFSEARCH.IO - Document Search Engine

Rewriting
Results: 653

#	Item
81	The Whiley Rewrite Language (WyRL) David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Abstract Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2015-08-18 20:05:39 Software engineering Programming language theory Computer programming Logic in computer science Formal languages Procedural programming languages Subroutines Computability theory Rewriting Recursion Whiley ALGOL 68
82	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 Graph theory Discrete mathematics Graph rewriting Graph Head-driven phrase structure grammar Line graph Intersection graph
83	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 Academia Applied mathematics Philosophy Networks Statistical models Knowledge representation Graph theory Bayesian network Causality Artificial neural network Motion planning Graph rewriting
84	No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-03-23 07:14:32 Mathematics Logic Mathematical logic Boolean algebra Formal languages Semantics Algebraic logic Logic in computer science Substitution Propositional calculus Rewriting Negation
85	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 Graph theory Data management Information technology management Online analytical processing Graph rewriting Graph Connectivity Algebraic graph theory Intersection graph Book:Graph Theory
86	Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs ∗ J¨urgen Giesl Thomas Str¨oder Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2012-07-18 09:07:52 Logic Mathematical logic Theoretical computer science Automated theorem proving Logic programming Logic in computer science Type theory Logical truth Substitution Unification Admissible rule Symbol
87	Query Optimization for Semistructured Data using Path Constraints in a Deterministic Data Model Peter Buneman University of Pennsylvania Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:14 Theoretical computer science Operations research Logic in computer science Mathematical optimization Rewriting Mathematics
88	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 Computing Data Data management Databases Schema matching Schema Matching XML schema Database schema Data model Graph rewriting
89	The Onomastic Landscape of Copenhagen – Meaning Formation, Rewriting History and Onomastic Scale Reduction Line Sandst Denmark Abstract Add to Reading List Source URL: www.icos2014.com Language: English - Date: 2016-08-02 10:56:36 Auxiliary sciences of history Lexicography Linguistics Copenhagen Capital Region of Denmark Vesterbro Beer in Denmark Carlsberg Valby Onomastics Toponymy -onym
90	O Our geographical nomenclature bears rewriting. Think of Chapmanton, Amyton, Laura, Carrieton and a score of others, and blush for the poverty of resource they display. Unlike the traditional rose I believe they would s Add to Reading List Source URL: www.slsa.sa.gov.au Language: English - Date: 2012-09-14 00:35:16 Geography of South Australia Geography of Australia States and territories of Australia Adelaide Plains Onkaparinga River Port Noarlunga South Australia Oodnadatta Adelaide South Australia Balhannah Oakbank South Australia Onkaparinga River National Park

UPDATE