6153 search results - page 4 / 1231 » Modeling Cyclic Change |
MM
2000
ACM
15 years 3 months ago
2000
ACM
Zyklodeon is a highly visual, highly interactive software construction kit. Players create cartoon-like dancers and endow them with properties that influence emergence of cyclic t...
IVC
2002
14 years 10 months ago
2002
A system for the tracking and classification of livestock movements is presented. The combined `tracker-classifier' scheme is based on a variant of Isard and Blakes `Condensa...
EMSOFT
2003
Springer
15 years 4 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
UAI
2008
15 years 11 days ago
2008
We generalize Shimizu et al's (2006) ICA-based approach for discovering linear non-Gaussian acyclic (LiNGAM) Structural Equation Models (SEMs) from causally sufficient, conti...
SEKE
1992
Springer
15 years 3 months ago
1992
Springer
The current state of traditional software development is surveyed and essential problems are investigated on the basis of system theoretical considerations. The concept of optimis...