539 search results - page 36 / 108 » Symmetric Argumentation Frameworks |
CHARME
2001
Springer
15 years 1 months ago
2001
Springer
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
SIAMJO
2008
14 years 9 months ago
2008
This paper extends the regularized smoothing Newton method in vector optimization to symmetric cone optimization, which provide a unified framework for dealing with the nonlinear ...
EPART
2011
13 years 9 months ago
2011
Abstract. The Structured Online Consultation tool (SCT) is a component tool in the IMPACT Project which is used to construct and present detailed surveys that solicit feedback from...
DSSCV
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we present a novel framework to carry out computations on tensors, i.e. symmetric positive definite matrices. We endow the space of tensors with an affine-invariant...
IFIP
2007
Springer
15 years 3 months ago
2007
Springer
Effective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how ...