86 search results - page 6 / 18 » Reconstructing under Group Actions |
JOLLI
2010
13 years 2 months ago
2010
The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define ...
ISSAC
2004
Springer
14 years 25 days ago
2004
Springer
We describe an algorithm for finding a canonical image of a set of points under the action of a permutation group. Specifically if we order images by sorting them and ordering t...
JCT
2010
13 years 5 months ago
2010
A k-orbit map is a map with k flag-orbits under the action of its automorphism group. We give a basic theory of k-orbit maps and classify them up to k 4. “Hurwitz-like” upper...
FORTE
2004
13 years 8 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
AAECC
1993
Springer
13 years 11 months ago
1993
Springer
We give estimates for exponential sums over finite fields in several variables. We study the case where the phase is either quadratic or more generally invariant under the action ...