2005 search results - page 345 / 401 » Business Process Knowledge Modelling: Method and Tool |
ICASSP
2007
IEEE
15 years 4 months ago
2007
IEEE
Recently, profile context-sensitive HMMs (profile-csHMMs) have been proposed which are very effective in modeling the common patterns and motifs in related symbol sequences. Pro...
APN
2007
Springer
15 years 4 months ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Emerging biomedical sensors and stimulators offer unprecedented modalities for delivering therapy and acquiring physiological signals (e.g., deep brain stimulators). Exploiting th...
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
BMCBI
2010
14 years 7 months ago
2010
Background: As protein interactions mediate most cellular mechanisms, protein-protein interaction networks are essential in the study of cellular processes. Consequently, several ...