1054 search results - page 69 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
134
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
—We present new results from Computational Neurogenetic Modeling to aid discoveries of complex gene interactions underlying oscillations in neural systems. Interactions of genes ...
149
click to vote
HUC
2010
Springer
15 years 4 months ago
2010
Springer
This work presents the design and evaluation of an activity recognition system for seven important motion related activities. The only sensor used is an Inertial Measurement Unit ...
147
click to vote
CSL
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
146
click to vote
RECOMB
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
136
click to vote
MICCAI
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. A novel interactive virtual needle insertion simulation is presented. The insertion model simulates three-degree-of-freedom needle motion, physically-based needle forces,...