436 search results - page 8 / 88 » Decomposing constraint systems: equivalences and computation... |
175
click to vote
FASE
2005
Springer
15 years 11 months ago
2005
Springer
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
151
click to vote
SIAMJO
2008
15 years 6 months ago
2008
For a mathematical program with complementarity constraints (MPCC), we propose an active-set Newton method, which has the property of local quadratic convergence under the MPCC lin...
149
click to vote
RTA
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. We consider the problem of deciding the security of cryptographic protocols for a bounded number of sessions, taking into account some algebraic properties of the securit...
188
click to vote
AAMAS
2011
Springer
15 years 1 months ago
2011
Springer
In this paper, we consider algorithms for distributed constraint optimisation problems (DCOPs). Using a potential game characterisation of DCOPs, we decompose six distributed DCOP...
151
click to vote
ISBI
2008
IEEE
16 years 6 months ago
2008
IEEE
Multi-detector Computed Tomography offers the promise of a non-invasive alternative to invasive coronary angiography for the evaluation of coronary artery disease. An impediment p...