437 search results - page 26 / 88 » Proving Termination by Divergence |
APLAS
2010
ACM
13 years 5 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
RTA
2007
Springer
14 years 2 months ago
2007
Springer
The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition. 1 Motivation and history In the past decades seve...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Complexity theory is a useful tool to study computational issues surrounding the elicitation of preferences, as well as the strategic manipulation of elections aggregating togethe...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
WWW
2007
ACM
2007
ACM
Robust web page segmentation for mobile terminal using content-distances and page layout information
14 years 8 months ago
The demand of browsing information from general Web pages using a mobile phone is increasing. However, since the majority of Web pages on the Internet are optimized for browsing f...