1187 search results - page 45 / 238 » Computation in Extended Argumentation Frameworks |
LICS
1996
IEEE
14 years 20 days ago
1996
IEEE
We present the linear type theory LLF as the forThis extended abstract will appear on the proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science -LICS'...
ISPD
2005
ACM
14 years 2 months ago
2005
ACM
We streamline and extend APlace, the general analytic placement engine based on ideas of Naylor et al. [7] and described in [3, 4, 5]. Previous work explored the adaptability of A...
IPPS
2005
IEEE
2005
IEEE
Building on a Framework: Using FG for More Flexibility and Improved Performance in Parallel Programs
14 years 2 months ago
We describe new features of FG that are designed to improve performance and extend the range of computations that fit into its framework. FG (short for Framework Generator) is a ...
RSEISP
2007
Springer
14 years 2 months ago
2007
Springer
The current research in granular computing is dominated by set-theoretic models such as rough sets and fuzzy sets. By recasting the existing studies in a wider context, we propose ...
TABLEAUX
2009
Springer
14 years 1 months ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...