19342 search results - page 390 / 3869 » Decentralised Process Modelling |
183
click to vote
ENTCS
2008
15 years 7 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
186
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...
218
click to vote
EKAW
1992
Springer
15 years 11 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...
199
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
We propose an analytic moment-based filter for nonlinear stochastic dynamic systems modeled by Gaussian processes. Exact expressions for the expected value and the covariance matr...
185
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
In this paper, we propose a probabilistic kernel approach to preference learning based on Gaussian processes. A new likelihood function is proposed to capture the preference relat...