264 search results - page 5 / 53 » Stochastic Analysis of Qualitative Dynamics |
ICMI
2010
Springer
14 years 7 months ago
2010
Springer
Quantifying the relationship between group dynamics and group performance is a key issue of increasing group performance. In this paper, we will discuss how group performance is r...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
SIAMCO
2000
14 years 9 months ago
2000
In this paper, a perturbation expansion technique is introduced to decompose the tracking error of a general adaptive tracking algorithm in a linear regression model. This method ...
FCT
1997
Springer
15 years 1 months ago
1997
Springer
IJMMS
2007
14 years 9 months ago
2007