2502 search results - page 426 / 501 » Using probabilistic model checking in systems biology |
101
click to vote
APN
2004
Springer
15 years 3 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
IANDC
2006
14 years 12 months ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
ICRA
2008
IEEE
15 years 6 months ago
2008
IEEE
— Central Pattern Generators (CPGs) are becoming a popular model for the control of locomotion of legged robots. Biological CPGs are neural networks responsible for the generatio...
AR
2002
14 years 11 months ago
2002
Abstract--A prominent emerging theory of sensorimotor development in biological systems proposes that control knowledge is encoded in the dynamics of physical interaction with the ...
105
click to vote
CVPR
2012
IEEE
13 years 2 months ago
2012
IEEE
—In this paper we propose a probabilistic model to parameterize human interactive behaviour from human motion. To Support the model taxonomy, we use Laban Movement Analysis (LMA)...