Sciweavers

511 search results - page 65 / 103
» Finite System Composition and Interaction
Sort
View
CDC
2010
IEEE
130views Control Systems» more  CDC 2010»
13 years 3 months ago
Decomposability of global tasks for multi-agent systems
Abstract-- Multi-agent system is a rapidly developing research area with strong support from both civilian and military applications. One of the essential problems in multi-agent s...
Mohammad Karimadini, Hai Lin 0002
HICSS
2003
IEEE
160views Biometrics» more  HICSS 2003»
14 years 2 months ago
Digital Documents and Media
People need to find, work with, and put together information. Diverse activities, such as scholarly research, comparison shopping, and entertainment involve collecting and connect...
Michael A. Shepherd
LICS
1997
IEEE
14 years 10 days ago
How Much Memory is Needed to Win Infinite Games?
We consider a class of infinite two-player games on finitely coloured graphs. Our main question is: given a winning condition, what is the inherent blow-up (additional memory) of ...
Stefan Dziembowski, Marcin Jurdzinski, Igor Waluki...
IFM
2004
Springer
14 years 2 months ago
Verifying Controlled Components
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
Steve Schneider, Helen Treharne
MM
2010
ACM
123views Multimedia» more  MM 2010»
13 years 9 months ago
Coming together: negotiated content by multi-agents
In this paper, we describe a software system that generates unique musical compositions in realtime, created by four autonomous multi-agents. Given no explicit musical data, agent...
Arne Eigenfeldt