Sciweavers

7058 search results - page 298 / 1412
» Modelling Business Process Performance
Sort
View
ENTCS
2007
114views more  ENTCS 2007»
15 years 3 months ago
Active Evaluation Contexts for Reaction Semantics
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nie...
122
Voted
ICML
2007
IEEE
16 years 4 months ago
Percentile optimization in uncertain Markov decision processes with application to efficient exploration
Markov decision processes are an effective tool in modeling decision-making in uncertain dynamic environments. Since the parameters of these models are typically estimated from da...
Erick Delage, Shie Mannor
120
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Point process MCMC for sequential music transcription
In this paper, models and algorithms are presented for transcription of pitch and timings in polyphonic music extracts, focusing on the algorithm details of the sequential Markov ...
Pete Bunch, Simon J. Godsill
WSC
2008
15 years 5 months ago
A systems engineering process supporting the development of operational requirements driven federations
This paper proposes a systems engineering process utilizing the conceptual artifacts of the Model Driven Architecture (MDA) describing platform independent views of models to capt...
Andreas Tolk, Thomas G. Litwin, Robert H. Kewley
129
Voted
CAISE
2009
Springer
15 years 1 months ago
Developing Quality Management Systems with DEMO
The International Organization for Standardization (ISO) has defined Quality Management, but it has not yet adopted standards for developing Quality Management Systems (QMSs), nota...
Jos Geskus, Jan L. G. Dietz