7340 search results - page 288 / 1468 » The Behavior of Tutoring Systems |
172
click to vote
AEI
2006
15 years 6 months ago
2006
This manuscript presents a design for the emergent generation of short-term forecasts in multi-agent coordination and control systems. Food foraging behavior in ant colonies const...
157
click to vote
ENTCS
2006
15 years 6 months ago
2006
Being able to systematically change the original architecture of a component-based system to a desired target architecture without changing the set of functional requirements of t...
197
click to vote
JCSC
1998
15 years 6 months ago
1998
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
176
click to vote
LPAR
2005
Springer
16 years 2 days ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
221
click to vote
TCS
2010
15 years 5 months ago
2010
The concept of stigmergy provides a simple framework for interaction and coordination in multi-agent systems. However, determining the global system behavior that will arise from ...