657 search results - page 49 / 132 » Modeling Dynamic Domains with ConGolog |
TITS
2010
13 years 3 months ago
2010
The agent computing paradigm is rapidly emerging as one of the powerful technologies for the development of largescale distributed systems to deal with the uncertainty in a dynamic...
LICS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
FIMH
2007
Springer
14 years 3 months ago
2007
Springer
We present preliminary results of the numerical simulation of electrocardiograms (ECG). We consider the bidomain equations to model the electrical activity of the heart and a Lapla...
NIPS
2008
13 years 10 months ago
2008
Abstract: Structure learning of dynamic Bayesian networks provide a principled mechanism for identifying conditional dependencies in time-series data. This learning procedure assum...
ISMS
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we propose an open source/open architecture framework for developing organ level surgical simulations. Our goal is to facilitate shared development of reusable models...