4767 search results - page 264 / 954 » Structures for Abstract Rewriting |
126
click to vote
COMMA
2008
15 years 8 months ago
2008
Abstract. We present a variant of AB-dispute derivations for assumption-based argumentation (ABA), that can be used for determining the admissibility of claims. ABA reduces the pro...
204
click to vote
FASE
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Container classes such as lists, sets, or maps are elementary data structures common to many programming languages. Since they are a part of standard libraries, they are ...
179
click to vote
RE
2005
Springer
16 years 1 days ago
2005
Springer
A reverse engineering process aims at reconstructing el abstractions from source code. This paper presents a novel reverse engineering methodology for recovering stakeholder goal ...
177
click to vote
IPPS
2006
IEEE
16 years 18 days ago
2006
IEEE
— Many interesting problems in graph theory can be reduced to solving an eigenproblem of the adjacency matrix or Laplacian of a graph. Given the availability of high-quality line...
185
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
The paper presents how the Random PROLOG Processor (RPP), a bio-inspired model of computations, can be used for formalization and analysis of a phenomenon - the Collective Intelli...