1458 search results - page 232 / 292 » Extended Term Rewriting Systems |
94
Voted
WWW
2006
ACM
16 years 1 months ago
2006
ACM
A collaborative crawler is a group of crawling nodes, in which each crawling node is responsible for a specific portion of the web. We study the problem of collecting geographical...
93
Voted
WWW
2003
ACM
16 years 1 months ago
2003
ACM
We propose two new tools to address the evolution of hyperlinked corpora. First, we define time graphs to extend the traditional notion of an evolving directed graph, capturing li...
210
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
107
click to vote
PODS
2008
ACM
16 years 26 days ago
2008
ACM
In the study of data exchange one usually assumes an openworld semantics, making it possible to extend instances of target schemas. An alternative closed-world semantics only move...
81
Voted
ICFP
2006
ACM
16 years 21 days ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...