7785 search results - page 440 / 1557 » The Concept of Dynamic Analysis |
202
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
289
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
The analysis of gene expression time series obtained from microarray experiments can be effectively exploited to understand a wide range of biological phenomena from the homeostat...
192
click to vote
WSCG
2004
15 years 8 months ago
2004
The extension of our research on analysis of a single agent or agent communities combining advanced methods of visualization with traditional AI techniques is presented in this pa...
214
click to vote
COMPLIFE
2006
Springer
15 years 10 months ago
2006
Springer
We present a method for simultaneous dimension reduction and metastability analysis of high dimensional time series. The approach is based on the combination of hidden Markov model...
199
click to vote
MICCAI
2005
Springer
16 years 8 months ago
2005
Springer
Understanding of the dynamic behaviour of the levator ani is important to the assessment of pelvic floor dysfunction. Whilst shape modelling allows the depiction of 3D morphologica...