23201 search results - page 93 / 4641 » Rewriting Systems with Data |
143
click to vote
ACL
2006
15 years 6 months ago
2006
In this paper we present how the automatic extraction of events from text can be used to both classify narrative texts according to plot quality and produce advice in an interacti...
127
click to vote
AIPS
1998
15 years 6 months ago
1998
We present the application of the Planning by Rewriting PbR framework to query planning in distributed and heterogeneous environments. PbR is a new paradigm for e cient high-quali...
151
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
110
click to vote
ECEASST
2010
15 years 2 months ago
2010
This short paper explores the potential of embedding-based graph rewriting as a tool for understanding natural computing, and in particular self-assembly. The basic point of view i...
171
click to vote
CADE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Most methods for termination analysis of term rewrite systems (TRSs) essentially try to find arguments of functions that decrease in recursive calls. However, they fail ...