Sciweavers

2450 search results - page 36 / 490
» On Application of Structural Decomposition for Process Model...
Sort
View
ICASSP
2009
IEEE
15 years 7 months ago
Multichannel nonnegative matrix factorization in convolutive mixtures. With application to blind audio source separation
We consider inference in a general data-driven object-based model of multichannel audio data, assumed generated as a possibly underdetermined convolutive mixture of source signals...
Alexey Ozerov, Cédric Févotte
DKE
2011
260views Education» more  DKE 2011»
14 years 7 months ago
Analysis on demand: Instantaneous soundness checking of industrial business process models
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...
Dirk Fahland, Cédric Favre, Jana Koehler, N...
112
Voted
ECOWS
2007
Springer
15 years 9 months ago
Structural Matching of BPEL Processes
BPEL has emerged as the industrial standard language for modelling behavioral aspects of web services. To support business partners in dynamically and flexibly binding their serv...
Rik Eshuis, Paul W. P. J. Grefen
129
Voted
KES
2010
Springer
15 years 2 months ago
Evolving takagi sugeno modelling with memory for slow processes
Evolving Takagi Sugeno (eTS) models are optimised for use in applications with high sampling rates. This mode of use produces excellent prediction results very quickly and with lo...
Simon McDonald, Plamen P. Angelov
133
Voted
SAS
1999
Springer
116views Formal Methods» more  SAS 1999»
15 years 7 months ago
Decomposing Non-redundant Sharing by Complementation
Complementation, the inverse of the reduced product operation, is a technique for systemfinding minimal decompositions of abstract domains. Fil´e and Ranzato advanced the state ...
Enea Zaffanella, Patricia M. Hill, Roberto Bagnara