106 search results - page 2 / 22 » On the Expressivity of Symmetry in Event Structures |
RTCSA
1998
IEEE
13 years 9 months ago
1998
IEEE
In this paper, we propose a protocol synthesis method based on a partial order model (called event structures) for the class of context-free processes. First, we assign a unique n...
CG
2002
Springer
13 years 5 months ago
2002
Springer
An extension of canonical projection allowing the projection of objects from higher dimensional space onto quasicrystalline structures is developed. In particular, we create symme...
MA
2010
Springer
13 years 3 months ago
2010
Springer
In Cator and Lopuha¨a [3] an asymptotic expansion for the MCD estimators is established in a very general framework. This expansion requires the existence and non-singularity of ...
CSCLP
2004
Springer
13 years 10 months ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
AUTOMATICA
2008
13 years 5 months ago
2008
In this paper we show how the symmetry present in many linear systems can be exploited to significantly reduce the computational effort required for controller synthesis. This app...