Sciweavers

1173 search results - page 212 / 235
» On the Compositionality of Round Abstraction
Sort
View
AAMAS
2007
Springer
13 years 10 months ago
A formal framework for connective stability of highly decentralized cooperative negotiations
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
Francesco Amigoni, Nicola Gatti
AI
2008
Springer
13 years 10 months ago
On the notion of concept I
It is well known that classical set theory is not expressive enough to adequately model categorization and prototype theory. Recent work on compositionality and concept determinat...
Michael Freund
CORR
2008
Springer
94views Education» more  CORR 2008»
13 years 10 months ago
Joint Beamforming for Multiaccess MIMO Systems with Finite Rate Feedback
Abstract--We consider multiaccess multiple-input multipleoutput (MIMO) systems with finite rate feedback with the aim of understanding how to efficiently employ the given feedback ...
Wei Dai, Brian Rider, Youjian Liu
ECEASST
2008
88views more  ECEASST 2008»
13 years 10 months ago
Reconfiguration of Reo Connectors Triggered by Dataflow
Abstract: Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed f...
Christian Koehler, David Costa, José Proen&...
IANDC
2008
81views more  IANDC 2008»
13 years 10 months ago
Universal extensions to simulate specifications
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulat...
Wim H. Hesselink