359 search results - page 30 / 72 » Modeling Consensus in a Process Calculus |
MIE
2008
13 years 11 months ago
2008
: Clinical practice guidelines are textual recommendations based on the consensus of medical experts with the aim to solve diagnostic and therapeutic problems. For more advanced us...
ENTCS
2007
13 years 10 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
ENTCS
1998
13 years 9 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
LICS
2009
IEEE
14 years 4 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
TSP
2010
13 years 4 months ago
2010
Abstract--We derive a class of algorithms for independent component analysis (ICA) based on maximum likelihood (ML) estimation and perform stability analysis of natural gradient ML...