Sciweavers

889 search results - page 1 / 178
» Problems in Rewriting III
Sort
View
66
Voted
RTA
1995
Springer
15 years 1 months ago
Problems in Rewriting III
Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Will...
ENTCS
2007
93views more  ENTCS 2007»
14 years 10 months ago
Modeling Pointer Redirection as Cyclic Term-graph Rewriting
We tackle the problem of data-structure rewriting including global and local pointer redirections. Each basic rewrite step may perform three kinds of actions: (i) Local redirectio...
Dominique Duval, Rachid Echahed, Fréd&eacut...
WWW
2011
ACM
14 years 5 months ago
Rewriting queries on SPARQL views
The problem of answering SPARQL queries over virtual SPARQL views is commonly encountered in a number of settings, including while enforcing security policies to access RDF data, ...
Wangchao Le, Songyun Duan, Anastasios Kementsietsi...
JC
2007
63views more  JC 2007»
14 years 10 months ago
Optimal approximation of elliptic problems by linear and nonlinear mappings III: Frames
We study the optimal approximation of the solution of an operator equation A(u) = f by certain n-term approximations with respect to specific classes of frames. We consider worst...
Stephan Dahlke, Erich Novak, Winfried Sickel
107
Voted
PVLDB
2010
128views more  PVLDB 2010»
14 years 8 months ago
Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++
Supporting legacy applications when the database schema evolves represents a long-standing challenge of practical and theoretical importance. Recent work has produced algorithms a...
Carlo Curino, Hyun Jin Moon, Alin Deutsch, Carlo Z...