4767 search results - page 539 / 954 » Structures for Abstract Rewriting |
176
Voted
ECSQARU
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This work addresses the problem of providing explanation capabilities to an argumentation system. Explanation in defeasible argumentation is an important, and yet undevel...
156
Voted
EMMCVPR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Document decomposition is a basic but crucial step for many document related applications. This paper proposes a novel approach to decompose document images into zones. I...
166
Voted
EPIA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The two puzzles are the Lottery Paradox and the Amalgamation Paradox, which both point out difficulties for aggregating uncertain information. A generalization of the lot...
167
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
218
Voted
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...