Sciweavers

65 search results - page 5 / 13
» A Markov Chain based method for generating long-range depend...
Sort
View
ICWS
2004
IEEE
13 years 8 months ago
Dynamic Workflow Composition using Markov Decision Processes
The advent of Web services has made automated workflow composition relevant to Web based applications. One technique that has received some attention, for automatically composing ...
Prashant Doshi, Richard Goodwin, Rama Akkiraju, Ku...
ML
2006
ACM
13 years 7 months ago
Using duration models to reduce fragmentation in audio segmentation
We investigate explicit segment duration models in addressing the problem of fragmentation in musical audio segmentation. The resulting probabilistic models are optimised using Mar...
Samer A. Abdallah, Mark B. Sandler, Christophe Rho...
ICC
2007
IEEE
129views Communications» more  ICC 2007»
14 years 1 months ago
Source Controlled Modulation Scheme for Sources with Memory
— Given an AWGN channel, we look at the problem of designing a source controlled binary antipodal signaling system for transmitting blocks of binary symbols generated either by a...
Pedro M. Crespo, Estibaliz Loyo, Javier Del Ser, C...
DSN
2005
IEEE
14 years 29 days ago
A Wavefront Parallelisation of CTMC Solution Using MTBDDs
In this paper, we present a parallel implementation for the steady-state analysis of continuous-time Markov chains (CTMCs). This analysis is performed via solution of a linear equ...
Yi Zhang, David Parker, Marta Z. Kwiatkowska
TSE
2010
123views more  TSE 2010»
13 years 2 months ago
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
Husain Aljazzar, Stefan Leue