2373 search results - page 237 / 475 » On the Theory of Structural Subtyping |
156
click to vote
CMOT
1998
15 years 6 months ago
1998
A programming language which is optimized for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of it...
206
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We analyze a class of estimators based on a convex relaxation for solving highdimensional matrix decomposition problems. The observations are the noisy realizations of the sum of ...
202
Voted
SIGECOM
2009
ACM
16 years 1 months ago
2009
ACM
We consider the issue of representing coalitional games in multiagent systems with externalities (i.e., in systems where the performance of one coalition may be affected by other ...
165
click to vote
IJAC
2002
15 years 6 months ago
2002
Abstract. We discuss the computational complexity of several problems concerning subsets of an algebraic structure that generate the structure. We show that the problem of determin...
293
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...