1728 search results - page 247 / 346 » Formal Modeling of Process Migration |
84
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
In this paper, the use of closed-form expressions is compared to the BIC approximation, with respect to speaker clustering. We first show that the particular BIC setting which is...
109
click to vote
ICIP
2006
IEEE
16 years 2 months ago
2006
IEEE
In this paper, we propose to combine formally noise and shape priors in region-based active contours. On the one hand, we use the general framework of exponential family as a prio...
83
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
DEXAW
2003
IEEE
15 years 6 months ago
2003
IEEE
A challenging task in security engineering concerns the specification and integration of security with other requirements at the top level of requirements engineering. Empirical ...
AAAI
1994
15 years 2 months ago
1994
In this paper, we describe the partially observable Markov decision process pomdp approach to nding optimal or near-optimal control strategies for partially observable stochastic ...