264 search results - page 5 / 53 » Stochastic Analysis of Qualitative Dynamics |
ICMI
2010
Springer
13 years 5 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
13 years 9 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
13 years 7 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
13 years 12 months ago
1997
Springer
IJMMS
2007
13 years 7 months ago
2007