23201 search results - page 142 / 4641 » Rewriting Systems with Data |
182
click to vote
KES
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, in order to reduce the explosive increase of the search space as the input dimension grows, we present a new representation method for the structure of fuzzy rules, ...
174
click to vote
WWW
2010
ACM
16 years 18 days ago
2010
ACM
Duplicate URLs have brought serious troubles to the whole pipeline of a search engine, from crawling, indexing, to result serving. URL normalization is to transform duplicate URLs...
168
click to vote
RTA
2004
Springer
15 years 11 months ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
182
Voted
FLOPS
1999
Springer
15 years 10 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
145
Voted
CALCO
2009
Springer
16 years 6 days ago
2009
Springer
The exactness properties of coproducts in extensive categories and pushouts along monos in adhesive categories have found various applications in theoretical computer science, e.g....