5863 search results - page 799 / 1173 » On Model-Checking of P Systems |
199
click to vote
ATAL
1997
Springer
15 years 11 months ago
1997
Springer
Incorporating coalition formation algorithms into agent systems shall be advantageous due to the consequent increase in the overall quality of task performance. Coalition formatio...
190
click to vote
HRI
2007
ACM
15 years 10 months ago
2007
ACM
This paper describes a robotic system that uses dance as a form of social interaction to explore the properties and importance of rhythmic movement in general social interaction. ...
192
click to vote
MA
2000
Springer
15 years 10 months ago
2000
Springer
Multiple, highly autonomous, satellite systems are envisioned in the near future because they are capable of higher performance, lower cost, better fault tolerance, reconfigurabil...
185
click to vote
MOBISYS
2010
ACM
15 years 9 months ago
2010
ACM
Docx2Go is a new framework to support editing of shared documents on mobile devices. Three high-level requirements influenced its design -- namely, the need to adapt content, espe...
170
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
The paper provides an overview of the agent-based solutions developed by the Rockwell Automation company for the purposes of industrial control. Using agent-based manufacturing co...