7628 search results - page 1044 / 1526 » Spatial P systems |
140
click to vote
ICES
2003
Springer
16 years 2 days ago
2003
Springer
It is clear to all, after a moments thought, that nature has much we might be inspired by when designing our systems, for example: robustness, adaptability and complexity, to name ...
179
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
200
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...
192
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. ...
194
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...