Rewriting - PDFSEARCH.IO - Document Search Engine

Rewriting
Results: 653

#	Item
101	Aachen Department of Computer Science Technical Report SAT Encodings: From Constraint-Based Termination Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2012-10-02 11:28:08 Logic in computer science Mathematical logic Aachen RWTH Aachen University Termination analysis Boolean satisfiability problem NP-completeness Algorithm Rewriting
102	Mediation of XML Data through Entity Relationship Models Irini Fundulaki1! and Maarten Marx2!! 1 Bell Laboratories, Lucent Technologies, USA and Add to Reading List Source URL: users.ics.forth.gr Language: English - Date: 2010-09-29 16:46:00 Semantic Web Knowledge representation Technical communication Data management Data integration Ontology Web Ontology Language XPath Conjunctive query XML schema Query Rewriting Resource Description Framework
103	Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2014-05-16 12:08:08 Logic in computer science Mathematical logic Theoretical computer science Static program analysis Termination analysis Automated theorem proving Prolog Unification Rewriting Algorithm Recursion ECLiPSe
104	ALOHA LOAD BALANCER REWRITING HTTP REQUESTS “APPNOTE” #0007 ― REWRITING HTTP REQUESTS This application note is intended to help you apply rules for rewriting HTTP requests within the ALOHA Load Balancer solution. Add to Reading List Source URL: www.haproxy.com Language: English - Date: 2014-04-28 06:44:17 Internet privacy Load balancing Network management Routing HTTP cookie Hypertext Transfer Protocol X-Forwarded-For Rewrite Transmission Control Protocol Server
105	LiquidXML: Adaptive XML Content Redistribution Jesús Camacho-Rodríguez1 1 INRIA Saclay, France Add to Reading List Source URL: www.user.tu-berlin.de Language: English - Date: 2016-07-21 07:25:50 Data management File sharing Distributed data storage Peer-to-peer Materialized view Database Query language Query Rewriting
106	Rewriting Schemes for Flash Memory Thesis by Eyal En Gad In Partial Fulfillment of the Requirements Add to Reading List Source URL: paradise.caltech.edu Language: English - Date: 2015-05-01 20:31:56 Data transmission Error detection and correction Modulation Coding theory Gray code
107	Scheffler_Algorithmics_paper Add to Reading List Source URL: scheffler.fh-stralsund.de Language: English - Date: 2009-09-22 08:49:28 Graph drawing Force-directed graph drawing Graph theory Planar graph Graph Algorithm Shortest path problem Meurs Challenger Graph rewriting
108	BRICS Basic Research in Computer Science BRICS RSDanvy & Rose: Higher-Order Rewriting and Partial Evaluation Higher-Order Rewriting and Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Lambda calculus Computability theory Theoretical computer science Logic in computer science Combinatory logic Recursion Term Free variables and bound variables Lambda calculus definition
109	Flexible Querying of Knowledge Bases Alex Poulovassilis Joint work with Andrea Cali, Riccardo Frosini, Carlos Hurtado, Petra Selmer, Peter Wood Leeds University, Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2015-10-23 21:39:28 Semantic Web Data management Resource Description Framework Knowledge representation Ontology Conjunctive query Data integration Web Ontology Language SPARQL Query Rewriting
110	Partial Evaluation of Functional Logic Programs in Rewriting-based Languages L. Lafave March 1997 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Programming idioms Mathematical logic Elementary mathematics Recursion Computability theory Escher Monad Rewriting Term Path ordering Fold Function

UPDATE